|Address:||Computing Science Division
Department of Information Technology
SE-751 05 Uppsala
|Visit:||ITC building 1, floor 3, room 1342|
|Phone:||+46 18 - 471 1057|
|Fax:||+46 18 511925|
|Web:||Personal web page|
My Curriculum Vitæ.
I am a member of the university mentor college.
My research interests generally cover the use of logic in computer science. I have worked with theory and implementation of logic programming, logical frameworks, and formal methods (specification, verification and synthesis).
Currently, my work primarily involves methodology for formal specification and verification based on propositional theorem proving. I have written a short popular article (in Swedish) about this.
I have worked for about eight years as consultant in formal methods, primarily with railway signalling applications. I have semiprofessional competence in all aspects of railway signalling. Presently I participate in a risk analysis project about the implementation of ETCS/ERTMS in Sweden, carried out by the Swedish Transport Administration.
Take a look here (in Swedish only).