The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Sagar Chaki sits on this spectrum.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Sagar Chaki sits on this spectrum.
The last bar groups every scientist with 131 D-Index or more.
Sagar Chaki is affiliated with Siemens in the United States. Their research primarily spans the fields of Computer Science and Engineering, with specific focus on Software, Computational Theory and Mathematics, and Electrical and Electronic Engineering.
The scientist's recent publication record includes work in the area of formal verification and software testing. A notable paper authored by a frequent collaborator, Pritam Roy, is titled Achieving high coverage in hardware equivalence checking via concolic verification. This paper was published in 2022 in the journal Formal Methods in System Design.
The research topics that define their contributions include:
Frequent collaborators in their work include:
The primary publication venue for their work is:
S. Chaki;E.M. Clarke;A. Groce;S. Jha
Anvesh Komuravelli;Arie Gurfinkel;Sagar Chaki
Alexis Campailla;Sagar Chaki;Edmund Clarke;Somesh Jha
Sagar Chaki;Edmund M. Clarke;Joël Ouaknine;Natasha Sharygina
Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman
Sagar Chaki;Edmund Clarke;Alex Groce;Somesh Jha
A. Vasudevan;S. Chaki;Limin Jia;J. McCune
Sagar Chaki;Sriram K. Rajamani;Jakob Rehof
Seyed K. Fayaz;Tianlong Yu;Yoshiaki Tobioka;Sagar Chaki
S. Chaki;E. Clarke;N. Kidd;T. Reps
S. Chaki;E. Clarke;A. Groce;J. Ouaknine
Anvesh Komuravelli;Arie Gurfinkel;Sagar Chaki;Edmund M. Clarke
Sagar Chaki;Edmund Clarke;Nishant Sinha;Prasanna Thati
Sagar Chaki;Edmund M. Clarke;Joël Ouaknine;Natasha Sharygina
Thomas Ball;Sagar Chaki;Sriram K. Rajamani
Sagar Chaki;Alex Groce;Ofer Strichman
Sagar Chaki;Anupam Datta
Sagar Chaki;Edmund M. Clarke;Alex Groce;Ofer Strichman
Arie Gurfinkel;Sagar Chaki
Sagar Chaki;Joël Ouaknine;Karen Yorav;Edmund M. Clarke
If you think any of the details on this page are incorrect, let us know.
Exploring computer science opens the door to many related online degrees and flexible career pathways. With the growth of digital learning, students can now pursue unique majors beyond computer science, expanding their expertise in fields like physics, data science, and engineering.
For those interested in physics, it's worth considering can you get a physics degree online? Remote study options are increasingly affordable and accessible for scientific disciplines.
Data science is another in-demand field, offering high salaries and robust job growth. Numerous data science programs are available online, often tailored for working professionals.
Engineers may wish to specialize further by earning an online master’s in electrical engineering degree. This advanced degree can give you a technical edge in competitive markets.
If you’re looking to quickly boost your credentials, consider certificate programs that pay well. These can provide practical skills in less time and help you qualify for high-paying roles in the tech industry.
Helmholtz-Zentrum Berlin für Materialien und Energie
Universidade de São Paulo
National Research Council (CNR)
University of Michigan–Ann Arbor
Nokia (United States)
Boston College
Yale University
University of Washington
Tohoku University
University of California, San Francisco
University of Queensland
Johannes Kepler University of Linz
Kobe University
National Foundation for Cancer Research
University of Bordeaux
Swiss Federal Institute for Forest, Snow and Landscape Research
