Alan Jojo

I am interested in Program Analysis and Mathematical Logic.

Education

• IISc Banglore
     Ph.D. candidate (2022 - Present)
     Programming Languages Lab
     Mail ID: alanjojo (at) iisc.ac.in
     Research Advisor: Dr. Raghavan Komondoor

• NIT Calicut
     B.Tech. (2018 - 2022)
     Computer Science and Engineering
     SSL Lab student administrator (2020 -2022)