Name:Tarun Suresh

Bio:

Tarun Suresh is a fourth-year undergraduate student in the Computer Science Department at the University of Illinois, Urbana-Champaign (UIUC). He works with Prof. Alex Aiken (Stanford), Prof. Sasa Misailovic (UIUC), and Prof. Gagandeep Singh (UIUC).

Tarun’s research is at the intersection of Machine Learning (ML), Programming Languages (PL), Formal Methods (FM), and Systems. He is largely interested in:

• Scalable formal tools and learning-based methods for correct and secure ML-driven programming systems

• Machine learning for program synthesis, optimization, verification, and repair

Country:United States

Affiliation:University of Illinois, Urbana-Champaign

Research interests:Machine Learning, Programming Languages, Formal Methods, Systems