Björn Victor
Professor at Institutionen för informationsteknologi; Datalogi
- Mobile phone:
- +46 70 425 02 39
- E-mail:
- Bjorn.Victor@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
Download contact information for Björn Victor at Institutionen för informationsteknologi; Datalogi
- Academic merits:
- Distinguished University Teacher
- ORCID:
- 0000-0003-0174-9032
More information is available to staff who log in.
Short presentation
I teach cyber security and technical writing/presentation, and do research in theory of distributed and parallel computing, in particular using process calculi. In 2018-2023 I also worked with educational development in TUR, the Council for Educational Development at the faculty of Science and Technology.
Keywords
- cyber security
- pedagogical development
- process calculi
- semantics of computer programs
Biography
See a brief CV for more info.
Publications
Selection of publications
- Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
- A Sorted Semantic Framework for Applied Process Calculi (2016)
- The Psi-Calculi Workbench (2015)
- Broadcast psi-calculi with an application to wireless protocols (2015)
- Enhanced learning by promoting engineering competencies (2014)
- The impact of trace and adversary models on location privacy provided by K-anonymity (2012)
- Computing Strong and Weak Bisimulations for Psi-Calculi (2012)
- Psi-calculi (2011)
- Lower trees with fixed degrees (2011)
- On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (2006)
- Solos in Concert (2003)
- The Fusion Calculus (1998)
Recent publications
- Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
- A Sorted Semantic Framework for Applied Process Calculi (2016)
- Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar (2016)
- The Psi-Calculi Workbench (2015)
- Broadcast psi-calculi with an application to wireless protocols (2015)
All publications
Articles
- A Sorted Semantic Framework for Applied Process Calculi (2016)
- The Psi-Calculi Workbench (2015)
- Broadcast psi-calculi with an application to wireless protocols (2015)
- Computing Strong and Weak Bisimulations for Psi-Calculi (2012)
- Psi-calculi (2011)
- Solos in Concert (2003)
- Calculi for Mobile Processes (1998)
Books
- Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar (2016)
- Special issue on the pi-calculus (2004)
- The difference between concurrent and sequential computation (2003)
- EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency (2000)
- EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency (1999)
- Proceedings of the 11th Nordic Workshop on Programming Theory (1999)
- The Fusion Calculus (1998)
Conferences
- Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
- A structured approach to training open-ended problem solving (2015)
- A Sorted Semantic Framework for Applied Process Calculi (extended abstract) (2014)
- Enhanced learning by promoting engineering competencies (2014)
- A Parametric Tool for Applied Process Calculi (2013)
- Fördjupat lärande genom aktiverande examination (2013)
- Professionella kompetenser i projektkurser (2012)
- The impact of trace and adversary models on location privacy provided by K-anonymity (2012)
- Broadcast Psi-calculi with an Application to Wireless Protocols (2011)
- Lower trees with fixed degrees (2011)
- Weak Equivalences in Psi-calculi (2010)
- A Fully Abstract Symbolic Semantics for Psi-Calculi (2010)
- Psi-calculi (2009)
- Extended pi-Calculi (2008)
- On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (2006)
- A Fully Abstract Encoding of the pi-Calculus with Data Terms (2005)
- Modelling and Minimising the Fusion Calculus using HD-automata (2005)
- Spi Calculus Translated to pi-Calculus Preserving May-Tests (2004)
- Relationally Staged Computations in Calculi of Mobile Processes (2004)
- Solo diagrams (2001)
- Solos in Concert (1999)
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
- The Tau-Laws of Fusion (1998)
- Concurrent Constraints in the Fusion Calculus (1998)
- The Update Calculus (1997)
- Constraints as Processes (1996)
- The Mobility Workbench (1994)