Raphaël Reynouard
Postdoc Researcher · Generative AI · Software Verification
University of Luxembourg · Luxembourg
I possess a PhD in Machine Learning, devoted chiefly to its application to critical systems through the rigours of Model Checking.
My most recent postdoctoral appointment at Eawag saw me applying deep learning to the rather less theatrical, though no less obstinate, domain of hydrology.
I am now pursuing a postdoc at Université du Luxembourg, where I contrive generative AI methods to assist the training of critical systems,
with particular attention to the ambitions of spatial and Martian exploration.
I also bring extensive experience in Python, most visibly embodied in the development of the Jajapy library.
