Prof. Lars-Henrik Eriksson — Research Profile
Uppsala University · Division of Computing Science, Department of Information Technology
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Lars-Henrik Eriksson at Uppsala University Division of Computing Science, Department of Information Technology lists programming languages, formal methods, logic in computer science, computer science, computing science, programming as their registered research area.
Research keywords
Other labs in this department
- Björn Victor Lab
cyber security, pedagogical development, process calculi, semantics of computer programs
- Davide Vega D'Aurelio Lab
natural language processing, data science, game theory, social network analysis, computational social science, information networks, socio-technical systems
- Di Yuan Lab
network optimisation, mathematical optimisation, communication systems
- Ece Calikus Lab
data science, computational social science, social data mining, ai and machine learning
- Elias Castegren Lab
programming languages, parallel programming, theorem proving
- Eva Darulova Bruggisser Lab
programming languages, program verification, program synthesis, approximate computing