Representative Projects

Some Representative Research Projects

Below are some of the research projects pursued in our group, besides these, there are several research ideas and directions under exploration:

• Type-Based Program Synthesis.

• Verification of Higher-Order Functional Programs/Parser Verification.

• Type-based verification of Test Input Generators/ Sound Under-approximate reasoning of Programs.

• Neuro-Symbolic Program Synthesis.

• Synthesis in Novel Domains.