What do an algorithm and a cooking recipe have in common? More than you might think! In the media, algorithms come up again and again – but usually when something goes wrong. Headlines such as “The algorithm is a racist”…
The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Computer Science. Main areas of interest: Computational Logic, covering theoretical and mathematical foundations…
From a research project to a software startup in Austria
The pan-European project funded with €20 million connecting 79 partners from 21 countries
Recognizing educational value of the Youth Video Competition “Algorithms in 60 Seconds”
BIO Marijn Heule is a Research Assistant Professor at the University of Texas at Austin whose research focuses on major challenges in automated reasoning. Marijn Heule´s current research focusses on two major challenges for SAT solving. The first challenge is…
