Department of Information Technology

Lars-Henrik Eriksson

senior lecturer at Department of Information Technology, Division of Computing Science

Email:
Lars-Henrik.Eriksson[AT-sign]it.uu.se
Telephone:
+4618-471 1057
Visiting address:
Room ITC 1137 ITC, Lägerhyddsv. 2, hus 1
Postal address:
Box 337
751 05 UPPSALA

Short presentation

I teach programming and theory of programming language. I am also a pedagogical mentor.

My research interest is within application of logic to computer science -- particularly the use of formal methods for software development.

I am Head of the Division of Computing Science within the Department of Information Technology.

My courses

Biography

MENTOR

I am a pedagogical mentor, that is a member of the university Collegium of Mentors. I teach Computing Science on both basic and advanced levels. The forms of teaching I use the most are projects, seminars, labs and lectures. I also review undergraduate theses.

I am a pedagogical mentor because I feel that teaching -- meeting the students -- is enjoyable and discussing teaching with colleagues is almost even more fun.

TEACHING

Courses I teach or have previously taught:

Provably Correct Software
Program Design
Program Design and Data Structures
Programming Methodology 2
Software Engineering
Semantics of Programming Languages

Refer to a separate section for information about my current courses.

RESEARCH

Refer to a separate section for information about my research. 

INDUSTRY

Before I had my position at Uppsala University, I worked eight years as a consultant and still do occasional consultancy projects. I have primarily woirket with risk analysis and applications of formal methods to railway signalling. I have semiprofessional competence within all aspects of of railway signalling. Among other things I have worked with a project within the Swedish Transport Administration about risk analysis for the implementation of ETCS/ERTMS in Sweden.

I am a partner in Nya Industrilogik SW AB. I was co-founder, board member and technical advisor to Industrilogik L4i AB -- today merged with Prover Technology AB.

MISCELLANEOUS

In my spare time I design, build and maintain relay-based signalling systems for the preserved railroad Uppsala-Lenna Järnväg. I am also a traffic controller for that railway. 

I have a Private Pilot License with Instrument Rating (PPL/IR). My total flight time is about 700 hours. I am also the chairman of the flying club in Uppsala, Motorflygarna Uppsala Flygklubb.

Research

My research interests include the use of logic in Computer Science. I have worked with theory and implementation of Logic Programming, Interactive Theorem Proving, Logical Frameworks and Formal Methods (Specification, Verification and Synthesis).

I belong to the Concurrency research group and work with formalising proofs within concurrency theory.

I am a board member of Formal Methods Europe and was Programme Committee Co-Chair for the FME symposium 2002 (part of FLoC'02).

 

Publications

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Updated  2015-07-20 12:11:03 by Lars-Henrik Eriksson.