COM2-03-29
660 17691

https://www.manuelrigger.at

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

CS6218
Principles of Prog. Languages & Software Engineering