Ofer Strichman is affiliated with the Technion - Israel Institute of Technology in Israel. Their research focuses mainly on computer science, with a significant emphasis on software, computational theory and mathematics, and artificial intelligence. The main topics covered in their work include formal methods in verification, software testing and debugging techniques, software reliability and analysis research, model-driven software engineering techniques, logic, programming, and type systems, software engineering research, and diagnosis of COVID-19 using AI.
Their frequent coauthors include Jianwen Li, Geguang Pu, Hana Chockler, Roderick Bloem, and Masoud Ebrahimi, with multiple joint publications reflecting ongoing collaborations.
Ofer Strichman has published in a variety of venues, contributing six papers to arXiv (Cornell University), two to Formal Methods in System Design, one to the Journal of Artificial Intelligence Research, one to the Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, and one to Leibniz-Zentrum für Informatik (Schloss Dagstuhl).
Several recent papers include:
In the area of book publications, Strichman contributed to the proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020, published by the University of Udine.
Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Ofer Strichman
Daniel Kroening;Ofer Strichman
Daniel Kroening;Ofer Strichman
Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman
Edmund M. Clarke;Anubhav Gupta;James H. Kukula;Ofer Shrichman
Randal E. Bryant;Daniel Kroening;Joël Ouaknine;Sanjit A. Seshia
Daniel Kroening;Ofer Strichman
Edmund M. Clarke;Daniel Kroening;Joël Ouaknine;Ofer Strichman
Unknown
Benny Godlin;Ofer Strichman
Ofer Strichman;Sanjit A. Seshia;Randal E. Bryant
Ofer Strichman;Sanjit A. Seshia;Randal E. Bryant
Amir Pnueli;Yoav Rodeh;Ofer Shtrichman;Michael Siegel
A. Pnueli;O. Shtrichman;M. Siegel
Benny Godlin;Ofer Strichman
E.M. Clarke;A. Gupta;O. Strichman
S. Chaki;E. Clarke;A. Groce;J. Ouaknine
Ofer Strichman
Orna Grumberg;Flavio Lerda;Ofer Strichman;Michael Theobald
Amir Pnueli;Yoav Rodeh;Ofer Strichmann;Michael Siegel
Ofer Strichman;Stefan Szeider
Benny Godlin;Ofer Strichman
Sagar Chaki;Alex Groce;Ofer Strichman
Edmund Clarke;Anubhav Gupta;James Kukula;Ofer Strichman
Ofer Strichman
Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman
If you think any of the details on this page are incorrect, let us know.
Exploring related fields helps broaden your career options in technology. Besides Computer Science, students often consider specialized online degrees for greater flexibility. For example, an online physics degree can be a strong choice for those interested in scientific computing or engineering foundations.
Data science is another fast-growing field closely linked to computer science. If affordability is a concern, consider researching what is the cheapest data science course in the us? to find programs that fit your budget.
Engineering skills also remain in high demand. For those considering a technical or hardware-focused path, review the top online electrical engineering schools in the USA for well-regarded and flexible programs.
If you’re looking to upskill quickly, there are also easy certifications to get that pay well, helping you boost your resume and unlock new career options with less time investment.
General Motors (United States)
University of California, San Francisco
Ludwig-Maximilians-Universität München
Geological Survey of Denmark and Greenland
KU Leuven
RWTH Aachen University
Sapienza University of Rome
Memorial Sloan Kettering Cancer Center
Cornell University
New York University Langone Medical Center
Cardiff University
Johns Hopkins University School of Medicine
Colorado State University
Environmental Protection Agency
University of Oxford
Scientific University of the South
