Faculty

Institution

Unit

Venue

Mahesh Viswanathan

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Mahesh Viswanathan is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Mahesh Viswanathan

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

computer science formal methods formal verification verification automated reasoning systems engineering software analysis logic in computer science program analysis model checking theory of computation theoretical computer science programming languages computer-aided verification probabilistic verification computer engineering applied mathematics runtime verification system safety automated deduction software verification automaton operation software engineering system software model verification systems modeling automatic control program checking control optimization data privacy data security logical automaton concurrent programming concurrency theory reachability problem distributed systems static program analysis concurrent systems formal specification concurrency (computer science) network simulation control system technology system science discrete algorithms finite-state system probabilistic system timed system parallel programming controller synthesis runtime systems markov decision process routing protocols statistical verification cryptographic protocols static checking real-time systems reachability analysis probabilistic programming linear systems hybrid system markov decision processes hybrid systems cryptographic primitives hybrid intelligent systems statistical model checking network protocols run-time monitoring dynamic race detection race detection java programs formal specifications mac architecture dynamic race prediction linear inequalities reach-avoid specifications powertrain verification challenge formal technique programming language theory

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Checking δ-Satisfiability of Reals With Integrals. Proceedings of the ACM on Programming Languages (2025)

Cody RiveraBishnu BhusalRohit ChadhaA. Prasad SistlaMahesh Viswanathan

applied mathematicslogic in computer scienceautomated reasoningverificationdecision procedurescomputer-aided verificationtool ∫drealcomputer sciencedifferential privacytheory of computationautomated deductionusable privacydata privacymathematicsformal methodsδ-decision proceduresformal verificationsatisfiability

Efficient Timestamping for Sampling-Based Race Detection. Proceedings of the ACM on Programming Languages (2025)

Minjian ZhangDaniel Wee Soong LimMosaad Al ThokairUmang MathurMahesh Viswanathan

concurrent data structurehigh performance computer architectureruntime systemscomputer sciencerace detectiondata sciencerandom samplingparallel computingdynamic race detectionscalabilityprogram analysisconcurrent programmingruntime verificationdata management

The Decision Problem for Regular First Order Theories. Proceedings of the ACM on Programming Languages (2025)

Umang MathurDavid MestelMahesh Viswanathan

first-order logicautomated reasoningmathematicslogic in computer sciencecomputational logiccomputer scienceclassical decision problemautomated deductionmathematical logicformal methodstheoretical computer sciencedecision problemregular theories

Deciding Branching Hyperproperties for Real Time Systems. arXiv (Cornell University) (2024)

Nabarun DekaMinjian ZhangRohit ChadhaMahesh Viswanathan

electionscomputer securitybranching hyperpropertiessecure multi-party computationpolitical sciencecryptographydata securityelectronic votingcomputer sciencevoting rulereal time systemsinformation securitydata privacyformal verification

Optimal Runtime Assurance via Reinforcement Learning. (2024)

Kristina MillerChristopher K. ZeitlerWilliam ShenKerianne HobbsJohn SchiermanMahesh ViswanathanSayan Mitra

mathematical optimizationsystems engineeringcontrol optimizationreinforcement learningcomputer scienceoptimal runtime assurancestochastic dynamics

Work in Progress: A New Graduate Certificate to Broaden Participation in Computing. (2024)

Tiffani WilliamsYael GertnerNancy AmatoAdrienne GulleyJancie HarrisMahesh Viswanathan

computing educationsoftware engineering educationcomputer sciencecomputer-based educationhigher educationeducationeducational technologyillinois computing acceleratorcomputational literacycomputational thinkingstem educationican program

Deciding Differential Privacy of Online Algorithms With Multiple Variables. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (2023)

Rohit ChadhaA. Prasad SistlaMahesh ViswanathanBishnu Bhusal

discrete algorithmsapplied mathematicsdata securitydip automatoncomputer sciencedifferential privacytheory of computationinformation securitymathematicsdata privacyparametric automatontheoretical computer scienceprivacy protection

Dynamic Race Detection With O(1) Samples. Proceedings of the ACM on Programming Languages (2023)

Mosaad Al ThokairMinjian ZhangUmang MathurMahesh Viswanathan

performance monitoringsoftware testingruntime systemscomputer sciencedata sciencerace detection algorithmrace detectorsdynamic race detectionprogram analysisinformation forensicsruntime verificationsoftware analysis

RTAEVAL: A Framework for Evaluating Runtime Assurance Logic. Lecture notes in computer science (2023)

Kristina MillerChristopher K. ZeitlerWilliam ShenMahesh ViswanathanSayan Mitra

software verificationlogic in computer scienceverificationcomputer scienceruntime verificationformal methodsformal verificationsoftware analysis

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. arXiv (Cornell University) (2023)

Kristina MillerChristopher K. ZeitlerWilliam ShenKerianne HobbsSayan MitraJohn SchiermanMahesh Viswanathan

deep reinforcement learningsystems engineeringcontrol optimizationreinforcement learningcontrol systemscomputer scienceoptimal runtime assurancesafety controllearning controlreward shapingsystem safety

1
2
3
4
5
17
10 / page

Mahesh Viswanathan

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Mahesh Viswanathan is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Mahesh Viswanathan

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Checking δ-Satisfiability of Reals With Integrals. Proceedings of the ACM on Programming Languages (2025)

Cody RiveraBishnu BhusalRohit ChadhaA. Prasad SistlaMahesh Viswanathan

Efficient Timestamping for Sampling-Based Race Detection. Proceedings of the ACM on Programming Languages (2025)

Minjian ZhangDaniel Wee Soong LimMosaad Al ThokairUmang MathurMahesh Viswanathan

The Decision Problem for Regular First Order Theories. Proceedings of the ACM on Programming Languages (2025)

Umang MathurDavid MestelMahesh Viswanathan

Deciding Branching Hyperproperties for Real Time Systems. arXiv (Cornell University) (2024)

Nabarun DekaMinjian ZhangRohit ChadhaMahesh Viswanathan

Optimal Runtime Assurance via Reinforcement Learning. (2024)

Kristina MillerChristopher K. ZeitlerWilliam ShenKerianne HobbsJohn SchiermanMahesh ViswanathanSayan Mitra

mathematical optimizationsystems engineeringcontrol optimizationreinforcement learningcomputer scienceoptimal runtime assurancestochastic dynamics

Work in Progress: A New Graduate Certificate to Broaden Participation in Computing. (2024)

Tiffani WilliamsYael GertnerNancy AmatoAdrienne GulleyJancie HarrisMahesh Viswanathan

Deciding Differential Privacy of Online Algorithms With Multiple Variables. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (2023)

Rohit ChadhaA. Prasad SistlaMahesh ViswanathanBishnu Bhusal

Dynamic Race Detection With O(1) Samples. Proceedings of the ACM on Programming Languages (2023)

Mosaad Al ThokairMinjian ZhangUmang MathurMahesh Viswanathan

RTAEVAL: A Framework for Evaluating Runtime Assurance Logic. Lecture notes in computer science (2023)

Kristina MillerChristopher K. ZeitlerWilliam ShenMahesh ViswanathanSayan Mitra

software verificationlogic in computer scienceverificationcomputer scienceruntime verificationformal methodsformal verificationsoftware analysis

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. arXiv (Cornell University) (2023)

Kristina MillerChristopher K. ZeitlerWilliam ShenKerianne HobbsSayan MitraJohn SchiermanMahesh Viswanathan

1
2
3
4
5
17
10 / page

Similar Faculty Members

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Sayan Mitra

Institution

University of Illinois Urbana-Champaign

mechanical verification

formal verification

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

Geir Dullerud

Institution

University of Illinois Urbana-Champaign

control system security

stochastic process

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Jose Meseguer

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Similar Faculty Members

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Sayan Mitra

Institution

University of Illinois Urbana-Champaign

mechanical verification

formal verification

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

Geir Dullerud

Institution

University of Illinois Urbana-Champaign

control system security

stochastic process

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Jose Meseguer

Institution

University of Illinois Urbana-Champaign

system specification

software engineering