PhD students Tilman Hinnerichs Neuro-symbolic approaches to probabilistic program synthesis Issa Hanou Probabilistic programming and program synthesis for robust planning Aldo Pareja Probabilistic programming and simulators (with MIT-IBM Watson Lab) Jonas Witt Analogical reasoning in program synthesis (at Siemens and University of Bamberg) Reuben Gardos Reid Synthesising probabilistic programs for scientific discovery Master students Jord Molhoek Incorporating prior knowledge in MDPs with probabilistic programming Honours students (Bsc) Piotr Cichoń Evolving search procedures in program synthesis Nicolae Filat Evolving search procedures in program synthesis Ivan Bozhanin Learning distances for distance-guided program synthesis Tudor Magirescu Learning distances for distance-guided program synthesis Alumni PhD students Kshitij Goyal Machine learning under constraints (at KU Leuven, with Hendrik Blockeel) Master students Reuben Gardos Reid Reasoning with a Rail Network Simulator Jaap de Jong Unifying example- and specification-based program synthesis Pepijn Klop Using Large Language Models to generate examples for program synthesis Gautham Venkataraman Using Probabilistic Programming to guide Combinatorial Optimization in Dynamic Environments Koen du Buf System on Chip early power estimation using Machine Learning Alexander Freeman Exploiting modularity in program synthesis Marc Droogh AI for chip topographical optimisation Dirk van Bokkem Economical greenhouse decision support model Research assistants Stef Rasing
