Advanced Topics in Computer Science: Verification and Synthesis

This seminar explores research advances in automated reasoning with applications in formal verification and synthesis. We study recent papers from a variety of application domains - networks, distributed systems, systems-on-chip, machine learning. Students are expected to lead some class discussions and do a class project of their choice.