World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
6938
World Ranking
8855
National Ranking
3776

Overview

Ashish Tiwari is affiliated with Microsoft in the United States and has a research focus primarily in the field of Computer Science. Their scholarly output encompasses a wide range of publications with an emphasis on Artificial Intelligence, Information Systems, Computer Vision and Pattern Recognition, Software, and Computer Networks and Communications.

The specific subfields in which Ashish Tiwari has contributed include:

  • Artificial Intelligence
  • Information Systems
  • Computer Vision and Pattern Recognition
  • Software
  • Computer Networks and Communications

The main topics of their work cover several areas related to software and computational analysis, notably:

  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Financial Markets and Investment Strategies
  • Software Reliability and Analysis Research
  • Advanced Malware Detection Techniques
  • Topic Modeling
  • Distributed Control Multi-Agent Systems

Frequently publishing in diverse venues, Ashish Tiwari has multiple papers appearing in:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • SSRN Electronic Journal
  • Climate and Energy
  • Zenodo (CERN European Organization for Nuclear Research)

Ashish Tiwari has collaborated extensively with several co-authors, including:

  • Sumit Gulwani
  • Arjun Radhakrishna
  • Gustavo Soares
  • Shanmuganathan Raman
  • Yasharth Bajpai

Notable recent publications include:

  • "Performance optimisation of deep learning models using majority voting algorithm for brain tumour classification," 2021, Computers in Biology and Medicine
  • "Role of Ensemble Deep Learning for Brain Tumor Classification in Multiple Magnetic Resonance Imaging Sequence Data," 2023, Diagnostics
  • "Synchromesh: Reliable code generation from pre-trained language models," 2022, arXiv (Cornell University)
  • "A review on polyaniline and its composites: from synthesis to properties and progressive applications," 2024, Journal of Materials Science
  • "Performance enhancement of MRI-based brain tumor classification using suitable segmentation method and deep learning-based ensemble algorithm," 2022, Biomedical Signal Processing and Control

Best Publications

  • Oracle-guided component-based program synthesis

    Susmit Jha;Sumit Gulwani;Sanjit A. Seshia;Ashish Tiwari

  • A greedy genetic algorithm for the quadratic assignment problem

    Ravindra K. Ahuja;James B. Orlin;Ashish Tiwari

  • Synthesis of loop-free programs

    Sumit Gulwani;Susmit Jha;Ashish Tiwari;Ramarathnam Venkatesan

  • Output Range Analysis for Deep Feedforward Neural Networks

    Souradeep Dutta;Susmit Jha;Sriram Sankaranarayanan;Ashish Tiwari

  • Series of Abstractions for Hybrid Automata

    Ashish Tiwari;Gaurav Khanna

  • Termination of Linear Programs

    Ashish Tiwari

  • Lifting abstract interpreters to quantified logical domains

    Sumit Gulwani;Bill McCloskey;Ashish Tiwari

  • Curcumin encapsulated zeolitic imidazolate frameworks as stimuli responsive drug delivery system and their interaction with biomimetic environment.

    Ashish Tiwari;Ashutosh Singh;Neha Garg;Jaspreet K. Randhawa

  • Constraint-Based Approach for Analysis of Hybrid Systems

    Sumit Gulwani;Ashish Tiwari

  • Reverse Engineering Digital Circuits Using Structural and Functional Analyses

    Pramod Subramanyan;Nestan Tsiskaridze;Wenchao Li;Adria Gascon

  • Synthesizing geometry constructions

    Sumit Gulwani;Vijay Anand Korthikanti;Ashish Tiwari

  • Abstractions for hybrid systems

    Ashish Tiwari

  • Box invariance in biologically-inspired dynamical systems

    Alessandro Abate;Ashish Tiwari;Shankar Sastry

  • Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

    Patrick Lincoln;Ashish Tiwari

  • Approximate reachability for linear systems

    Ashish Tiwari

  • A Technique for Invariant Generation

    Ashish Tiwari;Harald Rueß;Hassen Saïdi;Natarajan Shankar

  • Output Range Analysis for Deep Neural Networks

    Souradeep Dutta;Susmit Jha;Sriram Sanakaranarayanan;Ashish Tiwari

  • Combining abstract interpreters

    Sumit Gulwani;Ashish Tiwari

  • Automated symbolic reachability analysis: with application to delta-notch signaling automata

    Ronojoy Ghosh;Ashish Tiwari;Claire Tomlin

  • Abstract Congruence Closure

    Leo Bachmair;Ashish Tiwari;Laurent Vigneron

  • Hybrid Systems: Computation and Control

    João P. Hespanha;Ashish Tiwari

Frequent Co-Authors

Sumit Gulwani
Sumit Gulwani Microsoft (United States)
Sanjit A. Seshia
Sanjit A. Seshia University of California, Berkeley
Radu Grosu
Radu Grosu TU Wien
Scott A. Smolka
Scott A. Smolka Stony Brook University
Natarajan Shankar
Natarajan Shankar SRI International
Patrick Lincoln
Patrick Lincoln SRI International
Scott D. Stoller
Scott D. Stoller Stony Brook University
Sriram Sankaranarayanan
Sriram Sankaranarayanan University of Colorado Boulder
Joao P. Hespanha
Joao P. Hespanha University of California, Santa Barbara
Alessandro Abate
Alessandro Abate University of Oxford

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 up many related online degree options that can lead to dynamic careers. If you're interested in energy, sustainability, or environmental challenges, consider an environmental engineer degree online. This pathway combines computing skills with engineering principles to address real-world problems.

Engineering fans looking for a practical, hands-on discipline may be drawn to mechanical engineering. Studying a mechanical engineering degree online cost provides a flexible way to gain expertise while managing expenses.

For those with a passion for scientific inquiry, an online physics bachelor's degree offers opportunities to master fundamental principles that complement advanced computing.

If you're focused on big data, analytics, and AI, pursuing the cheapest data science masters in usa can set you up for success in one of today’s fastest-growing technology sectors.

Best Scientists Citing Ashish Tiwari

Trending Scientists