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, Computer Systems (DoCS), 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. Uwe and I are also guest editors of a special issue of JLAP (Journal of Logic and Algebraic Programming) on the pi-calculus. With Luca Aceto I am a guest editor of a special issue of MSCS (Mathematical Structures in Computer Science) devoted to ``the Difference between Concurrent and Sequential Computation''.

I have three Ph.D. students: Kidane Yemane, Magnus Johansson and Karl Marklund.

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

I am teaching computer networks for engineering physics students this fall.

I administer library matters at the department. Have a look at our technical report series! I am also a member of the department board.

Email: Bjorn.Victor@it.uu.se: Look up my PGP key, or download my S/MIME certificate.
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.

© Björn Victor
Last modified: Wed, 21-Aug-2002 19:12 MET DST