Kick-off of the Doctoral College on Automated Reasoning

The FWF-funded doctoral program on Automated Reasoning is designed to educate the next generation of experts in this field. 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.

Program

09:00 Opening
TU Wien Rektor, Prof. Dr.-Ing. Jens Schneider

09:15 Presentation of the Doctoral College
Head of the Doctoral Program, Univ.Prof. Dipl.-Ing., D.Phil. Georg Weissenbacher

09:30 Talk
Neurosymbolic Artificial Intelligence at Amazon Web Services
Speaker: Prof. Dr. Byron Cook, Vice President and Distinguished Scientist at Amazon AWS

Byron Cook is a vice president and distinguished scientist at Amazon, program manager at DARPA, and also a professor at the University College London. Byron Cook is well-known for his works on automatic methods for proving program termination and the Terminator termination prover, showcasing that automatic termination proving was impossible. He also contributed to Microsoft’s SLAM and the product Static Driver Verifier. He revived automatic program verification research in various ways and founded the Amazon’s Automated Reasoning Group (ARG). Byron Cook has received multiple awards for his research contributions, notably the Roger Needham Award and the distinction of Fellow of the Royal Academy of Engineering.

Join us to meet the PIs and new PhD students and to celebrate a new phase of research at TU Wien at the intersection of Cyber-Physical Systems, Formal Methods in Systems Engineering, Machine Learning, Security & Privacy, and Software Engineering.