Loading
Born 1963, Swedish citizen, one child.
Docent in Computer Science, Uppsala University 2007. Ph.D in Computer Systems, Uppsala University 1998 (thesis title: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
; advisor: Joachim Parrow). Licentiate (Fil.lic) in Computer Systems, Uppsala University 1994. B.Sc., Uppsala University 1990.
Senior lecturer/associate professor at the Department of Information Technology, Uppsala University since July 1998. Research assistant at the Department of Information Technology 2002-2005. Graduate student November 1990 - June 1998. Researcher (part-time) at the Swedish Institute of Computer Science, SICS, 1992-1995. Visiting researcher at Edinburgh University (LFCS) July-August 1993, at Universität des Saarlandes (DFKI) November 1996, at Universidade de Lisboa (DI-FCUL) March 1999, at Aalborg University (BRICS) November 1999, at Università di Pisa (Dipartimento di Informatica) December 1999, at ITU (Department of Theoretical Computer Science), November 2004, and at École Polytechnique LIX, May 2005 and June 2006.
Member of the steering groups of the ProFun project funded by the Swedish Research Council 2009-2013 and the UPMARC project also funded by the Swedish Research Council 2008-2017; project leader of Constraint-Based Verification of Typed Mobile Processes, funded by the Swedish Research Council 2007-2009; site leader for the PROFUNDIS FET-GC project 2002-2005; project leader for the SAAPP project (Simulator-Aided Analysis of Parallel Processes) 2002-2005, funded by ASTEC, and the project Analysis of security properties 2002-2005, funded by the Swedish Research Council. Coordinator of the Specification and Modelling area of the TFR ram-project Methods and Tools for Design of Distributed and Real-Time Systems (dnr 221-95-796) 1995-2001. Participated in the ESPRIT Working Group no. 21836, CONFER-2 1996-2000, the ESPRIT basic research project no. 6454, CONFER (CONcurrency and Functions: Evaluation and Reduction) 1992-1995, and no. 8130, LOMAPS (Logical and Operational Methods in the Analysis of Programs and Systems) 1995-1996.
Semantics, specification, verification and analysis techniques for concurrent systems and programming languages, in particular using calculi for mobile processes, e.g., pi-calculus, fusion calculus and psi-calculi; wireless sensor networks; expressiveness in process calculi; security analysis; tools for analyzing and manipulating mobile concurrent systems. The principal author of the Mobility Workbench, the first automated tool for the pi-calculus and later extended for the fusion calculus. Previously maintainer of the Bibliography on Calculi for Mobile Processes with Uwe Nestmann.
PhD advisor of Magnus Johansson (graduated May 2010) and Kidane Yemane (graduated January 2006). Co-advisor of Jesper Bengtsson (graduated June 2010), Frédéric Haziza (2004-), Palle Raabjerg (2009-), Johannes Åman Pohjola (2010-), and Ramunas Gutkovas (2011-).
PC member of CONCUR 2012, the 23rd International Conference on Concurrency Theory, held in Newcastle upon Tyne, September 3-8, 2012; PC member of ICALP 2012 (track B), the 39th International Colloquium on Automata, Languages and Programming, held 9-13 July 2012 at the University of Warwick, UK. PC member of CONCUR 11, the 22nd International Conference on Concurrency Theory, held in Aachen, September 6-9, 2011; EXPRESS'10, the 17th International Workshop on Expressiveness in Concurrency, held in Paris, August 30th, 2010; COLOPS, a sattellite workshop of ICLP'03, held in Mumbai, India, December 13 2003; ICALP 2003 (track B), held in Eindhoven, the Netherlands, June 30-July 4, 2003; CONCUR'01, the 12th international conference on concurrency theory, held at BRICS, Aalborg, August 21-24 2001; IWFM'03, the sixth International Workshop in Formal Methods, held at Dublin City University, Dublin, Ireland, July 11, 2003; and of ConCoord (International Workshop on Concurrency and Coordination) held in Lipari, Italy, 6-8 July 2001. Program co-chair of EXPRESS'00, the 7th international workshop on Expressiveness in Concurrency, held on August 21, 2000, in conjunction with the CONCUR 2000 international conference on concurrency theory at Pennsylvania State University, USA. Responsible for the scientific programme at the CONFER-2 spring meeting in Stockholm, June 2000. Program co-chair of EXPRESS'99, held on August 23, 1999, in conjunction with CONCUR'99 in Eindhoven, The Netherlands. On the organizing committee of NWPT'99, the 11th Nordic Workshop on Programming Theory, held in Uppsala on October 6-8, 1999.
Invited speaker at EXPRESS 2011, Aachen, Germany, September 5 2011 (in conjunction with CONCUR 2011), and the PFM 2001 (Proofs for Mobility) workshop, Genova, Italy, April 7 2001 (in conjuction with ETAPS 2001). Guest co-editor of a special issue of MSCS (Mathematical Structures in Computer Science) volume 13, issues 4-5, on "the Difference between Concurrent and Sequential Computation", and of a special issue of JLAP (Journal of Logic and Algebraic Programming) volume 63, issue 1, on the pi-calculus.
Secure computer systems I (advanced level) 2011, Secure computer systems II (advanced level) 2011, Secure computer systems (C level) 2010, 2009, 2007, 2006, 2005, 2004; Cryptography (C level) 2010, 2009, 2008, 2007; Technical writing and presentation skills 2011, 2010; Operating systems (C level) 2006, 2001, 2000, 2000, 1998, 1996, 1995, 1994; Advanced computer networks 2008, Computer networks (C level) 2003, 2002, 2001; Data Security (C level) 2001, 2000, 1999; Computer Programming 1 (A level) 1998. Mobile Processes (graduate level, co-teaching) 1995 and 2002. Lab assistant on operating systems, data security, computer aided design, and formal methods courses 1990-1993. Advisor and examiner of many M.Sc. theses. Basic pedagogic education 1992, course on advising undergraduate theses 1999, course on advising PhD students 2001. Course on gender-aware pedagogics 2007. Didactic education 2008.
The medal of merit from UTN (Uppsala Union of Science and Engineering Students) 2011.
Dean of Engineering Education, and member of the faculty board of the faculty of Science and Technology, since Sep 2011. Acting Dean of Education of the faculty, since Dec 2011. Programme director for the Computer and Information Engineering programme 2007-2011. Member of the department board. Member of the university IT council, the faculty marketing group, and the steering group for the Student Portal. Editor of the IT department technical report series and licentiate theses series. Web technology development for the IT department. Member of the gender equality group.
Participated in the Artemis project (Art and Science in a creative meeting), involving Uppsala Artist Club, Bror Hjort's House, Museum Gustavianum, and Uppsala University. The exhibition Abstraktioner och Taktiliteter, with Katarina Sundkvist Zohari, took place between August 4 and October 15, 2000, at Museum Gustavianum.
See separate page.
| Link types on this page: | External link |