Björn Victor
Professor vid Institutionen för informationsteknologi; Datalogi
- Mobiltelefon:
- 070-425 02 39
- E-post:
- Bjorn.Victor@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Björn Victor vid Institutionen för informationsteknologi; Datalogi
- Akademiska meriter:
- FD, docent, excellent lärare
- ORCID:
- 0000-0003-0174-9032
Mer information visas för dig som medarbetare om du loggar in.
Kort presentation
Jag undervisar i cybersäkerhet, projektarbete och vetenskapligt skrivande/presentation. Jag forskar i teori för distribuerade och parallella datorsystem, speciellt med användning av processkalkyler. Åren 2018-2023 arbetade jag också med pedagogisk utveckling i TUR, Teknisk-naturvetenskapliga fakultetens Universitetspedagogiska Råd.
Nyckelord
- cyber security
- pedagogical development
- process calculi
- semantics of computer programs
Biografi
Se en kort CV för mer info.
Publikationer
Urval av publikationer
- 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)
Senaste publikationer
- 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)
Alla publikationer
Artiklar
- 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)
Böcker
- 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)
Konferenser
- 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)
Rapporter
