Curriculum vitae for Lars-Henrik Eriksson

General

Name: Lars-Henrik Eriksson
Born: January 15, 1960
Status: Married, three children. Swedish citizen

Degrees

Ph.D. (Fil.dr.) in Computer and Systems Sciences at the Royal Institute of Technology, 1993.
Ph.L. (Tekn.lic.) in Computer Science at Lund Technical University, 1988.
B.A. (Högskoleexamen) in Computer Science and Mathematics at Uppsala University, 1984.

Positions

2001-present: Senior lecturer (universitetslektor) in computing science (datalogi) at Uppsala university, Department of Information Technology, division (avdelning) of Computing Science. From 2004, head of the Computing Science division.
1997-2001: Senior scientist and co-owner of Industrilogik L4i AB (in 2005 acquired by Prover Technology AB). Consulting, teaching, research & development in the areas of logic and formal methods, as well as computer system management.
1995-1996: Senior scientist at Logikkonsult NP AB (since renamed Prover Technology AB). Consulting, teaching, research & development in the areas of logic and formal methods, as well as computer systems management.
1993: Guest professor at Tübingen University, department of Computer Science (Institut für Informatik) in October - December.
1985-1995: Researcher at the Swedish Institute of Computer Science (SICS). 1988-1993 head of a research group. Research work primarily in logic programming, proof theory and formal methods for concurrent systems.
1979-1985: Assistant researcher (forskningsassistent) at the Department of Computing Science, Uppsala University. Research in the area of logic programming and formal verification, teaching and computer systems management.

Other information

Publication list.

I was Program Committee co-Chair for the Formal Methods Europe Symposium 2002 (part of FLoC'02).

I have semi-professional competence in railway signalling engineering. In my previous job as consultant at Industrilogik L4i AB (now acquired by Prover Technology AB), I worked with safety analysis and requirements engineering of railway signalling systems. I still occasionally do such work on a project basis. In my spare time I design, build and maintain relay-based railway signalling systems for the preserved railway Uppsala-Länna Jernväg.

I have a private pilot's license with instrument rating. My accumulated flight time is about 700 hours. I am also the chairman of the flying club in Uppsala.