Talk, Mercatorhalle Duisburg, Duisburg, Germany
I presented our work on a smartphone-based videonystagmography using artificial intelligence at the 57th DGBMT annual conference on biomedical engineering (Deutsche Gesellschaft für Biomedizinische Technik im VDE).
Talk, University of Düsseldorf, Düsseldorf, Germany
I gave a seminar talk on autonomous driving technologies with a focus on the software and artificial intelligence.
Talk, online, Paris, France
I presented our work of improving ProB’s SMT solver integrations for the validation of B and Event-B models at the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS) in 2021. The paper was nominated for the best paper award.
Talk, Maynooth University, Maynooth, Ireland
I presented our original work of the interactive repair and generation of formal models using program synthesis at the 14th International Conference on integrated Formal Methods (iFM) in 2018.
Talk, Grand Harbour Hotel, Southampton, United Kingdom
I presented our original work of translating Alloy to B at the 6th International Conference on Rigorous State Based Methods (ABZ) in 2018.
Talk, University of Düsseldorf, Düsseldorf, Germany
I gave a seminar talk on the recognition and representation of three-dimensional objects and their pose in the context of augmented reality.
Talk, University of Düsseldorf, Düsseldorf, Germany
I gave a seminar talk on constraint logic programming in the context of artificial intelligence.