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

I'm a research assistant at the Department of Information Technology, Division of Computer Systems, at Uppsala University.

My research in formal methods involves calculi for mobile processes. In my research I have developed and explored a process calculus called the Fusion Calculus, which is a unifying framework for concurrent actions with "global" and "local" effects, where the

-calculus appears as a subcalculus. I am also the principal author of the Mobility Workbench, the first automated analysis tool for the

-calculus.

Together with Uwe Nestmann I maintain the Bibliography on Calculi for Mobile Processes.

I have four Ph.D. students: Kidane Yemane, Magnus Johansson, Karl Marklund, and Frédéric Haziza.

I have a list of selected papers and a brief CV available.

The past fall I was teaching secure computer systems.

I 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
Computer Systems
Uppsala University
Box 337
SE-751 05 Uppsala, SWEDEN
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 web pages.

Last modified: Sat, 12-Feb-2005 12:48 MET