Prof. Mahesh Viswanathan — Research Profile
University of Illinois Urbana-Champaign · Computer Science
About
일리노이 대학교 어배너-섐페인 컴퓨터과학과 소속 Mahesh Viswanathan 교수의 등록된 연구 분야는 Formal methods, verification, theory and algorithms입니다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Software Testing and Debugging Techniques
Claire Tomlin 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
ATLAS-AL: Adaptive Trust-Region for Latent Adversarial Searches via Active LearningNewPreprintarXiv (Cornell University) · Oct 5Ion Stoica 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
MobileCybench: Evaluating Agent Vulnerability Discovery via Executable ProbesPreprintarXiv (Cornell University) · Sep 21Zhendong Su 교수 연구실
ETH Zurich · Department of Computer Science
From Natural Language to Executable Properties for Property-Based Testing of Mobile Apps (Experience Paper)Proceedings of the ACM on software engineering. · Oct 1
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