Lab directory
Prof. Madhusudan Parthasarathy — Research Profile
University of Illinois Urbana-Champaign · Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Jul 22, 2026
About
일리노이 대학교 어배너-섐페인 컴퓨터과학과 소속 Madhusudan Parthasarathy 교수의 등록된 연구 분야는 Software verification, formal methods, programming languages, program synthesis입니다.
Research keywords
Software verificationformal methodsprogramming languagesprogram synthesis
Other labs in this department
- Bo Li 교수 연구실
Trustworthy machine learning, adversarial machine learning, security and privacy
- Brighten Godfrey 교수 연구실
Networked systems, software-defined networking, data center architectures, network verification
- Chandra Chekuri 교수 연구실
Theory and algorithms, approximation algorithms, graph algorithms, combinatorial optimization
- Text Information Management and Analysis Research (TIMAN)
ChengXiang Zhai
Information retrieval, data mining, natural language processing, bioinformatics
- Craig Zilles 교수 연구실
Computer architecture, compilers, computer science education, learning analytics
- Darko Marinov 교수 연구실
Software engineering, formal methods, programming languages