Medewerkers met het vakgebied Informatica, Theoretische
Wetenschap ontwikkelt zich waar verschillende vakgebieden samenkomen. Alleen al daarom bestaat er binnen de RUG een grote verscheidenheid aan vakgebieden, met daarbinnen een groot aantal vakspecialisten. Met behulp van onderstaand overzicht, gebaseerd op een vaststaande indeling van wetenschapsgebieden, vindt u op elk vakgebied de juiste deskundige. Komt de deskundige die u zoekt niet voor in deze lijst? Via een vergelijkbaar vakgebied of een gerelateerde faculteit vindt u mogelijk alsnog de juiste persoon.
Overzicht van alle vakgebieden
Lecturer of several courses: Imperative Programming, Functional Programming, Signals and systems, Compiler Construction, Discrete Structures, Operating Systems, ... lees meer
Verification techniques for complex software systems.
More details in my personal home page.