Generate a tailored SOP for Dr. Viktor Kuncak. Improve your application with a focused, well-structured draft.
Viktor Kuncak has been a faculty member at École Polytechnique Fédérale de Lausanne (EPFL) since 2007 after obtaining his PhD from the Massachusetts Institute of Technology (MIT). He leads the Laboratory for Automated Reasoning and Analysis, where he has supervised the completion of 15 PhD theses. His research focuses on programming languages, algorithms, systems verification, and automated reasoning. Kuncak has been actively involved in promoting European collaborations in these areas, notably through organizing and coordinating the European network in automated reasoning and verification. In 2012, he received a prestigious five-year European Research Council (ERC) grant worth 1.5 million euros. Kuncak's invited talks and presentations span a range of international conferences, including Lambda Days and ICALP, and he has co-authored several distinguished papers recognized by ACM SIGSOFT. His work extends to teaching courses at EPFL on functional and parallel programming, compilers, and verification, alongside co-teaching a MOOC on Parallel Programming. Additionally, he serves as an associate editor for ACM Transactions on Programming Languages and Systems (TOPLAS).
École Polytechnique Fédérale de Lausanne • Lausanne, Switzerland
Leading research and teaching in automated reasoning and formal verification.
Standard requirements for Engineering and Basic Science Master's programs. Architecture requires an additional portfolio.