News

Veni subsidie voor “Betere beveiliging en kwaliteit van software"

Voor het project "Een termherschrijf-perspectief op programma-terminatie" van de afdeling Theoretische Informatica aan de VU heeft Dr. Jörg Endrullis een Veni subsidie ontvangen ter waarde van 237.000 Euro.

Computersystemen, klein en groot, en de programma's die daarop draaien, dringen steeds meer door in ons dagelijks leven. Het project ontwikkelt methoden voor het automatisch bewijzen van correctheid van programma's via een vertaling naar termherschrijven om hun veiligheid te garanderen en hun kwaliteit te verhogen.

De afdeling Theoretische Informatica doet onderzoek naar de correctheid en beveiliging van software. Hierbij worden wiskundige modellen gebruikt om te bewijzen dat software correct functioneert, of om de veiligheid ervan te bewijzen.

===
[English]

Veni grant for “Better security and software quality "

Dr. Jörg Endrullis from the Theoretical Computer Science department received a Veni grant of EUR 237.000 for the project "A Term Rewriting Perspective on Program Termination"

Computer system, small and large, with the programs they execute, permeate more and more of society and our daily lives. This project develops methods for automatically proving correctness of programs, to guarantee their security, fault-free operation and enhance their quality.

The department of Theoretical Computer Science does research for in the correctness and security of software. Mathematical models are used to prove that software is functioning correctly and to prove the security of software systems.