Hiperal Group

Zichen Xie (Summer 2025 - )

Research: LLMs for Software Verification and Automated Reasoning

Lize Shao (Summer 2025 - )

Research: LLMs for Software Engineering and Automated Reasoning

Chaitanya Rajendra Shahane (Fall 2024 - )

Research: LLMs for Software Testing, Software Testing for Deep Learning Libraries

Carter Opperman (Fall 2024 - )

Research: SAT Solving, Multi-Arm-Bandit

Tianyi Huang (Fall 2024 - )

Research: LLMs and Deep Learning for SAT Solving

Mrigank Pawagi (Spring 2025 - )

Research: LLMs for Bug Detection in Network Procotol Specifications