We are interested in various research topics for improving the safety and reliability of software, including:
- Program Verification for automatically proving the absence of bugs in programs.
- Program Testing for automatically finding bugs in programs.
- Program Repair for automatically fixing bugs in programs.
- Program Synthesis for automatically generating safe and correct programs.
Introduction to Our Research
- Introduction to Program Analysis Techniques with Applications to Smart Contract Security.
8 Sep 2023. GIST EECS Colloquium
[slides]
Recent Research Projects