Lars-Henrik Eriksson – Senior Lecturer

Head of Division (Computing Science)

Address:	Computing Science Division Department of Information Technology Uppsala University Box 337 SE-751 05 Uppsala Sweden
Visit:	ITC building 1, floor 3, room 1342
Phone:	+46 18 - 471 1057
Fax:	+46 18 511925
Email:	Lars-Henrik.Eriksson@it.uu.se
Web:	Personal web page
	vCard

My Curriculum Vitæ.

I am a member of the university mentor college.

Teaching

Program Design and Data Structures
Provably Correct Software

I have previously taught

Program Design
Programming Methodology 2
Semantics and Principles of Programming Languages
Software Engineering

Research

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 am the secretary of Formal Methods Europe and was Program Committee co-Chair for the FME Symposium 2002 (part of FLoC'02).

Publication list.

Industry

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.

I am a parter of Nya Industrilogik SW AB. I was founding partner, board member and technical advisor to Industrilogik L4i AB -- now acquired by Prover Technology AB.

Personal

Take a look here (in Swedish only).