User:Lars-Henrik Eriksson (UU)
This user is affiliated with Uppsala University in Sweden.
| Lars-Henrik Eriksson | |
| |
| 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)