FORSYTE hosts two guest professor courses in the 2025W semester
Wednesday, Oct 1, 2025We are happy to announce that FORSYTE will host two guest professor courses in the 2025 winter semester.
- SMT Solving Internals will be held by Nikolaj Bjorner of Microsoft Research.
- Advanced Topics in Verification and Synthesis for AI-Enabled Cyber-Physical Systems will be held by Alessandro Abate of the University of Oxford.
Both courses will take place in a blocked form between 13-24 October. We encourage interested students to attend!