Dr. Jozef Hooman hoogleraar Model-based development of embedded software

Embedded software zorgt voor de besturing van veelal complexe apparaten met hoge eisen op het gebied van reactiesnelheid en betrouwbaarheid, zoals medische apparatuur, navigatiesystemen, autos, treinen en vliegtuigen. Modellen worden in toenemende mate gebruikt om de complexiteit te beheersen en in beperkte tijd producten te ontwikkelen die aantoonbaar aan de gestelde eisen voldoen.

Model-gebaseerde ontwikkeling van embedded software is een van de specialisaties van de masteropleiding Informatica. Studenten verdiepen zich in de complexiteit van het ontwikkelen van grootschalige systemen in een industriële setting. Belangrijk in het Nijmeegse onderwijs is de combinatie van formele methoden en industriële toepassing. Met de expertise en aanstelling van Hooman richt de opleiding zich op versterking van onderzoek dat meer direct aansluit bij ontwikkelmethoden binnen de industrie.

Jozef Hooman studeerde wiskunde (MO-A en MO-B) en informatica aan de Radboud Universiteit. Hij behaalde in 1985 cum laude zijn doctoraaldiploma informatica. Hierna werkte hij als wetenschappelijk onderzoeker en universitair docent informatica aan de Technische Universiteit Eindhoven. In 1991 promoveerde Hooman aan deze universiteit op een dissertatie over de wiskundige specificatie en formele verificatie van tijdskritische systemen.

Sinds 1999 werkt dr. Hooman als universitair hoofddocent bij de afdeling Informatica van de Radboud Universiteit Nijmegen. In die periode was hij gedurende twee jaar voor één dag per week gedetacheerd bij het Centrum voor Wiskunde en Informatica te Amsterdam en daarna sinds 2003 voor vier dagen per week gedetacheerd als research fellow bij het Embedded Systems Institute (ESI) te Eindhoven.