
| Address: | Computing Science Division Department of Information Technology Uppsala University Box 337 SE-751 05 Uppsala Sweden |
| Visit: | ITC building 1, floor 1, room 1135 |
| Phone: | +46 18 - 471 3169 |
| Mobile: | +46 70 425 02 39 |
| Fax: | +46 18 511925 |
| Email: | Bjorn.Victor@it.uu.se |
| Web: | Personal web page |
| vCard |
My research in formal methods involves calculi for mobile processes.
I am the Ph.D. co-advisor of Ramunas Gutkovas, Palle Raabjerg, Johannes Åman Pohjola and Frédéric Haziza. I was the advisor of Magnus Johansson (graduated May 2010) and Kidane Yemane (graduated January 2006), and the co-advisor of Jesper Bengtsson (graduated June 2010).
I run projects in ProFun, funded by the Swedish Foundation for Strategic Research 2009-2013, and in UPMARC, a Linnaeus centre funded 2008-2017. I am a member of the Management Committee of BETTY
(Behavioural Types for Reliable Large-Scale Software Systems), an EU-funded COST Action 2012-2015.
I have a list of selected papers and a brief CV available.
I teach secure computer systems, technical writing and presentation skills, and have taught operating systems, computer networks (also at advanced level), and cryptography.
| Name | Course Homepage | Program | Start Info |
|---|---|---|---|
Independent project in information engineering, 15 hp![]() |
itarbete_uppsatsmet | IT | March 25 at 15.15 in P2446 |
Secure computer systems I, 5 hp![]() |
sakdat | DVM, FRI, IT | Jan 22 at 15.15 in P1211 |
Technical writing and presentation techniques, 5 hp![]() |
itarbete_uppsatsmet | IT | March 25 at 15.15 in P2446 |
I am the Dean of Engineering Education, and member of the faculty board of the faculty of Science and Technology.
I am a member of the council for the Student Portal
and member of the faculty marketing group.
I am the editor for our technical reports and licentiate theses series, I do technical web maintenance for our department web server, and I'm a member of the gender equity group.