New doctoral program on Automated Reasoning
Thursday, Dec 5, 2024We are happy to announce a new FWF doc.funds doctoral program on Automated Reasoning, with funding for 13 doctoral students who will work on exciting projects at the intersection of security and artificial intelligence with Automated Reasoning at the core.
The doctoral program is designed to educate the next generation of experts on Automated Reasoning. It targets foundational questions such as rigorously defining the notion of safety and security across domains and applications, the development of automated techniques and analyses to ensure safety and security of electronic systems, and explores synergies between the fields of security and artificial intelligence.
The doctoral students will be supervised by the FORSYTE professors Katalin Fazekas, Laura Kovács, and Georg Weissenbacher together with Ezio Bartocci, Maria Christakis, Thomas Gärtner, and Mattei Maffei.