Manuel RIGGER
Assistant Professor- Postdoctoral researcher (Computer Science, ETH Zurich, Switzerland, 2019-2022)
- Ph.D (Computer Science, Johannes Kepler University Linz, Austria, 2019)
- M.Sc. (Software Engineering, Johannes Kepler University Linz, Austria, 2015)
- M.Phil. (Chinese Philosophy, Xiamen University, China, 2015)
- B.Sc. (Computer Science, Johannes Kepler University Linz, Austria, 2013)
RESEARCH AREAS
Programming Languages & Software Engineering
- Compilers
- Program Analysis
- Software Testing
RESEARCH INTERESTS
Correctness and reliability of data-centric systems
Automated testing approaches
Compilers and virtual machines
RESEARCH PROJECTS
SQLancer: Automatic Testing of Database Management Systems
SQLancer automatically finds logic bugs in Database Management Systems (DBMSs). We have used SQLancer to find and report over 500 unique, previously unknown bugs in widely-used DBMSs. In addition, SQLancer has been widely adopted in the industry.
TRL 9
RESEARCH GROUPS
NUS Test Lab
The Trustworthy Engineering of Software Technologies (TEST) Lab is working on practical and conceptual software solutions. We aim to have a real-world impact both by creating practical tools as well as by designing principled, fundamental techniques.
TEACHING INNOVATIONS
SELECTED PUBLICATIONS
AWARDS & HONOURS
MODULES TAUGHT
CS3213
Foundations of Software Engineering
CS6223
Advanced Topics in Software Testing