Shuvendu K. Lahiri is affiliated with Microsoft in the United States and has a prolific body of work within computer science, with a primary focus on software-related research. Their academic contributions cover a broad range of topics within software engineering, verification, and system reliability.
Their recent publications include:
Frequent co-authors collaborating with Lahiri include:
Lahiri's research has consistently appeared in the following publication venues:
The scientist has contributed to academic literature through a book publication titled Computer Aided Verification released by Springer Science+Business Media in 2020.
The key fields of study represented in their work are:
More specialized subfields within computer science in their research include:
Lahiri's main research topics focus on software testing, debugging, and engineering, including:
Carlos Pacheco;Shuvendu K. Lahiri;Michael D. Ernst;Thomas Ball
Randal E. Bryant;Shuvendu K. Lahiri;Sanjit A. Seshia
Shuvendu K. Lahiri;Chris Hawblitzel;Ming Kawaguchi;Henrique Rebêlo
Unknown
Shuvendu Lahiri;Shaz Qadeer
Akash Lal;Shaz Qadeer;Shuvendu K. Lahiri
Shuvendu K. Lahiri;Robert Nieuwenhuis;Albert Oliveras
Shuvendu K. Lahiri;Randal E. Bryant;Byron Cook
Shuvendu K. Lahiri;Kenneth L. McMillan;Rahul Sharma;Chris Hawblitzel
Shuvendu K. Lahiri;Shaz Qadeer
Carlos Pacheco;Shuvendu K. Lahiri;Thomas Ball
Shuvendu K. Lahiri;Sanjit A. Seshia;Randal E. Bryant
Mike Barnett;Christian Bird;Joao Brunet;Shuvendu K. Lahiri
Shuvendu K. Lahiri;Randal E. Bryant
Shaunak Chatterjee;Shuvendu K. Lahiri;Shaz Qadeer;Zvonimir Rakamaric
Sanjit A. Seshia;Shuvendu K. Lahiri;Randal E. Bryant
Shuvendu K. Lahiri;Randal E. Bryant
Shuvendu K. Lahiri;Sanjit A. Seshia
Jordan Henkel;Shuvendu K. Lahiri;Ben Liblit;Thomas Reps
Shuvendu K. Lahiri;Madanlal Musuvathi
Thomas Ball;Byron Cook;Shuvendu K. Lahiri;Lintao Zhang
Akash Lal;Shaz Qadeer;Shuvendu K. Lahiri
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens up a wide range of pathways, from rapid certifications to advanced online degrees. For those looking to enter the workforce quickly, there are quick certifications that pay well in areas like IT support, networking, and cybersecurity. These can often be completed in a few months and serve as launching points for tech careers.
If you're considering more advanced credentials, you might explore the shortest masters degree programs online. Accelerated online master's degrees allow students to upskill or transition to new specialties in 12–18 months, ideal for working professionals.
Choosing the right graduate program is important. Research shows that which master's degree is most in demand in USA continues to include computer science, data science, and information technology—fields with strong job growth and salary potential.
Alternatively, those seeking a shorter college commitment can consider 2 year online degrees. Online associate degrees offer foundational knowledge and can lead to entry-level roles or serve as a step toward a bachelor’s.
Virginia Commonwealth University
University of Veterinary Medicine Vienna
University of Pittsburgh
Trinity College Dublin
Texas A&M University
Universidade de Vigo
Stanford University
McMaster University
Coventry University
Aix-Marseille University
National Academies of Sciences, Engineering, and Medicine
University of Groningen
SUNY Downstate Medical Center
University College London
Children's Hospital of Philadelphia
Mount Sinai Health System
