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

Websites
Department: Department of Information Technology -- Computer Science
Personal: https://katalog.uu.se/empInfo?id=N96-6192
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)