Loris D'Antoni

Expert on programming languages, program synthesis, program verification and personalized education.

Assistant Professor, Computer science College of Letters and Science Work: 608-263-0475 — Home and cell phones available upon request loris@cs.wisc.edu Home page Twitter: @lorisdanto

Topics

• Program verification and formal methods
• Personalized education and massive online open courses
• Program synthesis and programming by examples
• Programming languages

Achievements

• Program committee member of CAV 16, PLDI 16, ICALP 16.
• automatatutor.com, an educational tool used by thousands of students around the world
• Morris and Dorothy Rubinoff Award for a dissertation that has resulted in or could lead to innovative applications of computer technology