Lars-Henrik Eriksson
Universitetslektor
vid Uppsala universitet
Presentation:
Jag heter Lars-Henrik Eriksson och arbetar vid institutionen för informationsteknologi. Jag arbetar med metoder och principer för programmering av datorer och med användningen av logik inom datavetenskapen. Mitt specialintresse handlar om matematiska metoder för att visa att datorprogram är felfria.
Jag heter Lars-Henrik Eriksson och arbetar vid institutionen för informationsteknologi. Jag arbetar med metoder och principer för programmering av datorer och med användningen av logik inom datavetenskapen. Mitt specialintresse handlar om matematiska metoder för att visa att datorprogram är felfria.
Hemsida:
http://www.it.uu.se/katalog/lhe
Svarar på frågor inom:
datavetenskap, programmering, teknik
Lars-Henrik Eriksson är kontaktperson för följande projekt:
Skickat ett e-mail till Lars-Henrik Eriksson
Observera att den här tjänsten är avsedd
främst för gymnasieelever vid svenska gymnasieskolor
Vi ber dig även att inte kontakta flera forskare samtidigt.
Om du inte är en gymnasieelev vid en svensk gymnasieskola,
går det bra att kontakta oss via mail på projektbanken@fuf.org.
Hur kan ett e-mail se ut?