User:Lars-Henrik Eriksson (UU)

From Meta, a Wikimedia project coordination wiki
Jump to navigation Jump to search

This user is affiliated with Uppsala University in Sweden.

Lars-Henrik Eriksson
Universitetshusets trapphall.jpg
Occupation: Associate professor

Department: Department of Information Technology -- Computer Science
University: Uppsala University
Project: Wikimedia Sweden and Academic institutions

Research area

Computer Science and programming in general. The use of logic in Computer Science, particularly the use of Formal Methods in software and systems development.

sv:Användare:Lars-Henrik Eriksson (UU)