Lars-Henrik Eriksson arbetar vid institutionen för informationsteknologi. Han arbetar med metoder och principer för programmering av datorer och med användningen av logik inom datavetenskapen. Lars-Henriks specialintresse handlar om matematiska metoder för att visa att datorprogram är felfria.
Sök nyheter
Kategorier
- China Adolescents Science and Technology Innovation Contest
- European Union Contest for Young Scientists
- Global Youth Science and Technology Bowl
- International Sustainable World (Engineering Energy Environment) Project olympiad
- International Wildlife Research Week
- London International Youth Science Forum
- Mostratec
- Nobelpriset
- Nyheter
- Regeneron International Science and Engineering Fair
- Research Science Institute
- Riksstämman
- Stockholm Junior Water Prize
- Styrelsebloggen
- Sveriges Unga Forskningslandslag