World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
7031
World Ranking
9287
National Ranking
3951

Overview

Mahesh Viswanathan is affiliated with the University of Illinois at Urbana-Champaign in the United States. The core of their research lies in Computer Science, with a focus on several specialized subfields that include Artificial Intelligence, Computational Theory and Mathematics, Software, Hardware and Architecture, and Computer Networks and Communications.

The researcher's work spans multiple topics, prominently within Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Logic, Programming, and Type Systems, Parallel Computing and Optimization Techniques, Software Engineering Research, and Safety Systems Engineering in Autonomy.

Viswanathan has published extensively, with a noticeable presence in academic venues such as arXiv (Cornell University), the Proceedings of the ACM on Programming Languages, ACM SIGLOG News, IEEE Transactions on Automatic Control, and ACM Inroads. The distribution of publications highlights a preference for platforms that target both theoretical and applied aspects of computing.

Frequent collaborators include Umang Mathur, Rohit Chadha, Matthew West, A. Prasad Sistla, and Sayan Mitra, indicating a network of research partnerships that span diverse areas in computer science and engineering.

Among the notable papers authored or co-authored by Viswanathan are:

  • Controller Synthesis for Linear System With Reach-Avoid Specifications, 2021, IEEE Transactions on Automatic Control
  • Sound Dynamic Deadlock Prediction in Linear Time, 2023, Proceedings of the ACM on Programming Languages
  • Dynamic Race Detection with O(1) Samples, 2023, Proceedings of the ACM on Programming Languages
  • Evaluating proof blocks problems as exam questions, 2022, ACM Inroads
  • Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction, 2021, ACM Transactions on Embedded Computing Systems

Best Publications

  • Statistical model checking of black-box probabilistic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • An Approximate L 1 -Difference Algorithm for Massive Data Streams

    Joan Feigenbaum;Sampath Kannan;Martin J. Strauss;Mahesh Viswanathan

  • Java-MaC: A Run-Time Assurance Approach for Java Programs

    Moonzoo Kim;Mahesh Viswanathan;Sampath Kannan;Insup Lee

  • On statistical model checking of stochastic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • Java-MaC: A Run-time Assurance Tool for Java Programs

    Moonjoo Kim;Sampath Kannan;Insup Lee;Oleg Sokolsky

  • An approximate L/sup 1/-difference algorithm for massive data streams

    J. Feigenbaum;S. Kannan;M. Strauss;M. Viswanathan

  • Runtime Assurance Based On Formal Specifications

    Insup Lee;Sampath Kannan;Moonjoo Kim;Oleg Sokolsky

  • The relationship between public key encryption and oblivious transfer

    Y. Gertner;S. Kannan;T. Malkin;O. Reingold

  • VESTA: A statistical model-checker and analyzer for probabilistic systems

    K. Sen;M. Viswanathan;G. Agha

  • C2E2: A Verification Tool for Stateflow Models

    Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan;Matthew Potok

  • Formally specified monitoring of temporal properties

    Moonjoo Kim;M. Viswanathan;H. Ben-Abdallah;S. Kannan

  • Model-Checking markov chains in the presence of uncertainties

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • Verisim: formal analysis of network simulations

    K. Bhargavan;C.A. Gunter;Moonjoo Kim;Insup Lee

  • Regular ArticleSpot-Checkers☆

    Funda Ergün;Sampath Kannan;S.Ravi Kumar;Ronitt Rubinfeld

  • DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems

    Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  • Model checking multithreaded programs with asynchronous atomic methods

    Koushik Sen;Mahesh Viswanathan

  • Verification of annotated models from executions

    Parasara Sridhar Duggirala;Sayan Mitra;Mahesh Viswanathan

  • Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2

    Chuchu Fan;Bolun Qi;Sayan Mitra;Mahesh Viswanathan

  • Visibly pushdown automata for streaming XML

    Viraj Kumar;P. Madhusudan;Mahesh Viswanathan

  • A counterexample-guided abstraction-refinement framework for markov decision processes

    Rohit Chadha;Mahesh Viswanathan

  • Spot-checkers

    Funda Ergün;Sampath Kannan;S. Ravi Kumar;Ronitt Rubinfeld

Frequent Co-Authors

Sampath Kannan
Sampath Kannan University of Pennsylvania
Geir E. Dullerud
Geir E. Dullerud University of Illinois at Urbana-Champaign
Insup Lee
Insup Lee University of Pennsylvania
A. Prasad Sistla
A. Prasad Sistla University of Illinois at Chicago
Gul Agha
Gul Agha University of Illinois at Urbana-Champaign
Koushik Sen
Koushik Sen University of California, Berkeley
Oleg Sokolsky
Oleg Sokolsky University of Pennsylvania
P. Madhusudan
P. Madhusudan University of Illinois at Urbana-Champaign
Jennifer C. Hou
Jennifer C. Hou University of Illinois at Urbana-Champaign
Joan Feigenbaum
Joan Feigenbaum Yale University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide range of related degrees and career opportunities, especially when paired with online learning. For students looking to broaden their technical expertise and diversify their job prospects, several affordable online degrees are available.

Fields like environmental engineering are increasingly relevant, with options for environmental engineering degrees online allowing you to specialize in sustainability and green technologies. Similarly, aspiring engineers can find pathways through a cheapest mechanical engineering degree online, giving a strong foundation in design and manufacturing.

For those interested in a more theoretical approach, studying physics online is also an option. Programs such as an online theoretical physics degree are ideal for learners fascinated by scientific research and analytics.

Data science is another rapidly growing field tied closely with computer science. By pursuing an affordable data science degree, students can unlock careers in artificial intelligence, machine learning, and big data analysis.

Exploring these related online degrees not only expands your skillset but also enhances your career flexibility in the tech-driven job market.

Best Scientists Citing Mahesh Viswanathan

Trending Scientists