Research
Our research projects cover different areas of Programming Languages and Systems. These include among others:
- Machine Learning for programming
- Probabilistic programming
- Program verification
- Software testing
- Static and dynamic program analysis
We develop techniques and tools for a wide range of application areas including:
- Artificial intelligence
- Blockchain technology and smart contracts
- Compilers
- Networking
We collabroate closely with many software companies such as Amazon, Facebook, Microsoft, and Mozilla, and have spun off several start-up companies including external page Anapaya Systems, external page ChainSecurity, and external page DeepCode.ai.
Publications
- chevron_right Programming Language Foundations Lab (Prof. Ralf Jung)
- chevron_right Programming Methodology Group publications (Prof. Peter Müller)
- chevron_right Advanced Software Technologies Lab (Prof. Zhendong Su)
- chevron_right Advanced Computing Laboratory (Prof. Markus Püschel)
- chevron_right Secure, Reliable, & Intelligent Systems Lab publications (Prof. Martin Vechev)