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)
- Yanhui Zhu (PhD, co-advosor, Pavan Aduri)
- Liwen Wang (MS)
- Karthik Hanumanthaiah (MS)
- Nagasharan Sathish (MS)
Alums
- 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
- 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
Projects
† undergraduate student
‡ graduate student
Submodular Maximization problems (Information Propagation in Social Network) .
Project Collaborators: Yanhui Zhu‡, Preeti Bhardwaj‡, Raj Gaurav Kumar‡, Madhavan Rajagopal Padmanabhan‡, Xiaoyun Fu‡, Rishabh Bhatt‡, Pavan Aduri.
Reasoning with Qualitative Preference
Project Collaborators: Erik Rauer‡, Liwen Wang‡, Morgan Prieskorn†, Carl Chapman†, Katarina Mitchell†, Zachary Oster‡, Jia Tao, Ganesh Ram Santhanam, Robyn Lutz and Vasant Honavar.
Preference based Requirements Analysis in Software Engineering .
Project Collaborators: Zachary Oster‡ and Ganesh Ram Santhanam.
Verification of Asynchronous Systems.
Project Collaborators: Tevfik Bultan (UCSB), Oscar Ibarra (UCSB) and Meriem Ouderni (UMA).
Testing Database Applications.
Project Collaborators: Tanmoy Sarkar‡ and Johnny Wong.
Model Checking Parameterized Systems .
Project Collaborators: Hridesh Rajan, Youssef Hanna‡ and David Samuelson†.
Probabilistic Model Checking .
Project Collaborators: Paul Jennings‡ and Arka P. Ghosh (Statistics, ISU)
Vulnerability Analysis of Web Applications.
Project Collaborators: Michelle Ruse‡.
Web Service Composition.
Project Collaborators: Zachary Oster‡, Ganesh Ram Santhanam, Jyotishman Pathak‡, Dinanath Nadkarni‡, Hongyu Sun‡, Robyn Lutz and Vasant Honavar