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 524
751 20 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.
Jag arbetar med CyberRiskLab, en samverkansaktivitet i cybersäkerhet.
Nyckelord
- cyber security
- pedagogical development
- process calculi
- 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