The focus of Formal Methods and Verification Group is to develop formal techniques and tools for automatic verification and analysis of systems. The research activities of the group are supported in parts by US National Science Foundation grants IIS 225823, CCF 1555780, CCF 1116836, CCF 1143734 and CCF 0702758.
Members
Faculty: Samik Basu
Students
Current
- Erik Rauer (PhD)
- Zihao Qi (PhD)
- Rodrigo Santamaria (PhD, co-advosor, Pavan Aduri)
Alums
- Yanhui Zhu (PhD, co-advosor, Pavan Aduri)
- Xiaoyun Fu (PhD, co-advisor: Pavan Aduri)
- Madhavan Rajagopal Padmanabhan (MS/PhD, co-advisor: Pavan Aduri): Amazon
- Zachary Oster (PhD): Associate Professor, University of Wisconsin, Whitewater
- Michelle Ruse (PhD): Professor, Des Moines Area Community College
- Tanmoy Sarkar (PhD): Microsoft
- Ganesh Ram Santhanam (PhD, co-advisor: Vasant Honavar)
- Jyotishman Pathak (PhD, co-advisor: Vasant Honavar): Professor and Division Chief of Health Informatics, Weill Cornell Medical College
- Sayaan Mitra (PhD, co-advisor: Ratnesh Kumar): Adobe
- Natalia Stakhanova (PhD): Assistant Professor, University of New Brunswick
- Liwen Wang (MS)
- Karthik Hanumanthaiah (MS)
- Nagasharan Sathish (MS)
- Sanchayani Pal (MS, co-Advisor: Myra Cohen)
- Rishabh Bhatt (MS, co-advisor: Pavan Aduri)
- Michael Dixon (MS)
- Bailey Righi (MS)
- Preeti Bhardwaj (MS): IBM
- Raj Gourav Kumar (MS)
- Sriram Balasubramanian (MS): Care.com
- Naresh Somisetty (MS): Microsoft
- Shiva Nalla (MS): Capital One
- Sai-Sravanthi Nudurupati (MS)
- Maheedhar Gunasekharan (MS): Randstad
- Priyanka Thyagarajan (MS): Amazon
- Swapnanjan Chatterjee (MS): PwC
- Sneha Bankar (MS): YP
- Paul Jennings (MS): MoSys
- Yuly Suvorov (MS): Google
- Curt Keller (MS): Continental Data Graphics
- Carl Chapman (BS Software Engineering)
- Katarina Mitchell (BS Computer Engineering): Uncorked Studio
- Tanner Smith (BS)
Projects
† undergraduate student
‡ graduate student
Submodular Maximization problems (Current)
Reasoning with Qualitative Preference (Current)
Verification of Asynchronous Systems.
Testing Database Applications.
Model Checking Parameterized Systems .
Probabilistic Model Checking .
Vulnerability Analysis of Web Applications.
Web Service Composition.