Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Björn Victor
Björn Victor
Department of Information Technology , Division of Computer Systems , at
Uppsala University .
research in formal methods involves calculi for mobile processes .
In my research I have developed and explored a process calculus called the Fusion Calculus the Mobility Workbench , the first automated analysis
tool for the
Together with
Uwe Nestmann
I maintain the Bibliography on Calculi for Mobile Processes .
I have three Ph.D. students: Kidane Yemane , Magnus Johansson and Karl Marklund , and one soon-to-be: Frédéric Haziza .
I have a list of selected papers
and a brief CV
available.
teaching secure computer systems .
(Last fall I was teaching computer networks .)
administer our technical reports and licentiate theses , I do web development for our department web server , and
I lead the
gender equity group.
In addition I'm a member of the department board.
Email:
Bjorn.Victor@it.uu.se
Look up my PGP key , or download my S/MIME certificate (in PEM or P7C formats).
Address:
Dept. of Information Technology
Visit me at MIC , Polacksbacken , building 1, floor 1, room 1139. Phone: +46 18 471 3169, Fax: +46 18 511925, Mobile: +46 70 425 0239, Home: +46 18 501 601
My own family company is also on the web. That's also where I keep my personal