Et af de emner inden for datalogi, som jeg altid har værdsat, er tidsautomater og dets forbindelse til værktøjet UPPAAL. Efter min mening er emnet alvorligt underrepræsenteret her i Aalborg.
Jeg håber at kunne få lov til holde en forelæsningsrække om UPPAAL og tidsautomater i forbindelse med et kommende kursus, og jeg er allerede så småt gået i gang med at lave slides. Senere planlægger jeg at arbejde med en implementation i C.