… all her degrees (BS, MS, and PhD) from Stanford University. …

… programming language techniques to meet challenges from all areas of computer science. …

… is a future of verification that is accessible to all programmers, not just to experts …

… from the University of Münster in Germany.

I am interested in all aspects …

… challenges at SC, ISC, and ASC. In 2015 and 2018, the team led by him swept all three …

… by thousands of students from all over the world. …

… languages and compilers, all of which combine language design and sophisticated …