Guests 2021

 
Name Research Area Kontakt
Belle, Vaishak machine learning, knowledge representation, artificial intelligence, scalable probabilistic inference and learning, probabilistic programming, statistical relational learning, automated planning, reasoning about knowledge and uncertainty, cognitive robot
Webseite
Berthon, Raphaël M. Sc.Guarantees on learning systems, Automata learning, Interplay between certainty and probabilities in Games, Logic, Automata
Webseite
Bonakdarpour, Borzoo Security/Privacy, Cyber-physical Systems, Distributed Computing
Webseite
Fisman, Dana Formal methods in system design
Webseite
Giacobbe, Mirco Formal methods for safe artificial intelligence and symbolic and neuro-symbolic methods for the analysis of soft­ware and cyber-physical systems
Webseite
Kwiatkowska, Martha Modelling and analysis methods for complex systems, Arising in computer networks
Webseite
Moosbrugger, Marcel AI, Formal Methods and Science Communication
Webseite
Neider, Daniel Verification of machine learning models, Explanability of artificial intelligence, Intelligent formal methods, Learning-based synthesis, Specification learning/recommendation, Incorporating automata learning and symbolic reasoning, Learning theory
Webseite
Nosan, Klara program verification, algebraic computational complexity, invariant synthesis, model learning
Webseite
Raskin, Jean-Francois
Webseite
Viswanathan, Mahesh algorithm design, automata theory, and logic with applications to algorithmic verification of systems
Webseite
Ziegler, Martin Knowledge Science, Computer Science of Continuous Data, Physics and Computation
Webseite