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, Regementsvägen 10
- 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
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
- process calculi
- cyber security
- pedagogical development
- semantics of computer programs
Publikationer
Urval av publikationer
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
Ingår i 2022 IEEE Frontiers in Education Conference (FIE), 2022
- DOI för Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
- Ladda ner fulltext (pdf) av Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
A Sorted Semantic Framework for Applied Process Calculi
Ingår i Logical Methods in Computer Science, s. 1-49, 2016
- DOI för A Sorted Semantic Framework for Applied Process Calculi
- Ladda ner fulltext (pdf) av A Sorted Semantic Framework for Applied Process Calculi
Broadcast psi-calculi with an application to wireless protocols
Ingår i Software and Systems Modeling, s. 201-216, 2015
- DOI för Broadcast psi-calculi with an application to wireless protocols
- Ladda ner fulltext (pdf) av Broadcast psi-calculi with an application to wireless protocols
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
Ingår i ACM Transactions on Embedded Computing Systems, 2015
- DOI för The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
- Ladda ner fulltext (pdf) av The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
Enhanced learning by promoting engineering competencies
Ingår i Proc. 44th ASEE/IEEE Frontiers in Education Conference, s. 2044-2049, 2014
Computing Strong and Weak Bisimulations for Psi-Calculi
Ingår i Journal of Logic and Algebraic Programming, s. 162-180, 2012
The impact of trace and adversary models on location privacy provided by K-anonymity
Ingår i Proc. 1st Workshop on Measurement, Privacy, and Mobility, 2012
Psi-calculi: a framework for mobile processes with nominal data and logic
Ingår i Logical Methods in Computer Science, s. 11, 2011
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs
Ingår i 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), s. 659-664, 2011
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
Ingår i Proc. 21st Symposium on Logic In Computer Science, s. 59-68, 2006
Ingår i Mathematical Structures in Computer Science, s. 657-683, 2003
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
1998
Senaste publikationer
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
Ingår i 2022 IEEE Frontiers in Education Conference (FIE), 2022
- DOI för Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
- Ladda ner fulltext (pdf) av Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
A Sorted Semantic Framework for Applied Process Calculi
Ingår i Logical Methods in Computer Science, s. 1-49, 2016
- DOI för A Sorted Semantic Framework for Applied Process Calculi
- Ladda ner fulltext (pdf) av A Sorted Semantic Framework for Applied Process Calculi
Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar
2016
2015
Broadcast psi-calculi with an application to wireless protocols
Ingår i Software and Systems Modeling, s. 201-216, 2015
- DOI för Broadcast psi-calculi with an application to wireless protocols
- Ladda ner fulltext (pdf) av Broadcast psi-calculi with an application to wireless protocols
Alla publikationer
Artiklar i tidskrift
A Sorted Semantic Framework for Applied Process Calculi
Ingår i Logical Methods in Computer Science, s. 1-49, 2016
- DOI för A Sorted Semantic Framework for Applied Process Calculi
- Ladda ner fulltext (pdf) av A Sorted Semantic Framework for Applied Process Calculi
Broadcast psi-calculi with an application to wireless protocols
Ingår i Software and Systems Modeling, s. 201-216, 2015
- DOI för Broadcast psi-calculi with an application to wireless protocols
- Ladda ner fulltext (pdf) av Broadcast psi-calculi with an application to wireless protocols
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
Ingår i ACM Transactions on Embedded Computing Systems, 2015
- DOI för The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
- Ladda ner fulltext (pdf) av The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
Computing Strong and Weak Bisimulations for Psi-Calculi
Ingår i Journal of Logic and Algebraic Programming, s. 162-180, 2012
Psi-calculi: a framework for mobile processes with nominal data and logic
Ingår i Logical Methods in Computer Science, s. 11, 2011
Ingår i Mathematical Structures in Computer Science, s. 657-683, 2003
Artiklar, forskningsöversikt
Calculi for Mobile Processes: Bibliography and Web Pages
Ingår i Bulletin of the EATCS, 1998
Doktorsavhandlingar, monografi
Konferensbidrag
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
Ingår i 2022 IEEE Frontiers in Education Conference (FIE), 2022
- DOI för Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
- Ladda ner fulltext (pdf) av Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
A structured approach to training open-ended problem solving
Ingår i Proc. 45th ASEE/IEEE Frontiers in Education Conference, s. 417-420, 2015
Enhanced learning by promoting engineering competencies
Ingår i Proc. 44th ASEE/IEEE Frontiers in Education Conference, s. 2044-2049, 2014
A Sorted Semantic Framework for Applied Process Calculi (extended abstract)
Ingår i Trustworthy Global Computing, s. 103-118, 2014
Fördjupat lärande genom aktiverande examination
Ingår i 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, s. 51-54, 2013
A Parametric Tool for Applied Process Calculi
Ingår i 13th International Conference on Application of Concurrency to System Design (ACSD 2013), s. 180-185, 2013
The impact of trace and adversary models on location privacy provided by K-anonymity
Ingår i Proc. 1st Workshop on Measurement, Privacy, and Mobility, 2012
Professionella kompetenser i projektkurser
Ingår i Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, s. 123-128, 2012
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs
Ingår i 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), s. 659-664, 2011
Broadcast Psi-calculi with an Application to Wireless Protocols
Ingår i Software Engineering and Formal Methods, s. 74-89, 2011
- DOI för Broadcast Psi-calculi with an Application to Wireless Protocols
- Ladda ner fulltext (pdf) av Broadcast Psi-calculi with an Application to Wireless Protocols
A Fully Abstract Symbolic Semantics for Psi-Calculi
Ingår i Proc. 6th Workshop on Structural Operational Semantics, s. 17-31, 2010
Weak Equivalences in Psi-calculi
Ingår i Proc. 25th Symposium on Logic in Computer Science, s. 322-331, 2010
Psi-calculi: Mobile processes, nominal data, and logic
Ingår i Proc. 24th Annual IEEE Symposium on Logic in Computer Science, s. 39-48, 2009
Ingår i Automata, Languages and Programming, PT 2, s. 87-98, 2008
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
Ingår i Proc. 21st Symposium on Logic In Computer Science, s. 59-68, 2006
Modelling and Minimising the Fusion Calculus using HD-automata
Ingår i Proceedings of CALCO 2005, 2005
A Fully Abstract Encoding of the pi-Calculus with Data Terms
Ingår i Proceedings of ICALP 2005, s. 1202-1213, 2005
Relationally Staged Computations in Calculi of Mobile Processes
Ingår i Proc. 7th Workshop on Coalgebraic Methods in Computer Science, s. 105-120, 2004
Spi Calculus Translated to pi-Calculus Preserving May-Tests
Ingår i Proceedings of LICS 2004, s. 22-31, 2004
Ingår i Proceedings of TACS 2001, s. 127-144, 2001
Ingår i Proceedings of ICALP'99, 1999
Concurrent Constraints in the Fusion Calculus
Ingår i Proceedings of ICALP'98, s. 455-469, 1998
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
Ingår i Proceedings of LICS'98, s. 176-185, 1998
Ingår i Proceedings of CONCUR'98, s. 99-114, 1998
Ingår i Proceedings of AMAST'97, s. 409-423, 1997
Ingår i Proceedings of CONCUR'96, s. 389-405, 1996
The Mobility Workbench: A Tool for the Pi-Calculus
Ingår i Proceedings of CAV'94, s. 428-440, 1994
Proceedings (redaktörskap)
Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar
2016
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
Rapporter
Samlingsverk (redaktörskap)
Special issue on the pi-calculus
Elsevier, 2004
The difference between concurrent and sequential computation
Cambridge University Press, 2003