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.
Lars-Henrik Eriksson är kontaktperson för följande projekt: