TechnionTechnion -
Israel Institute
of Technology
Faculty The William Davidson Faculty
of Industrial Engineering and Management
BuildingHebrew
English
 
 
 
 
 

Associate Professor   Ofer Strichman


 
Education:
Ph.D. Computer Science (Weizmann Institute, 2001)
 
 
Research Areas:
Information Systems Engineering
 
 
Research Interests:
Formal verification of software and hardware; Decision procedures for fragments of first-order logic.
 
 

General Information
Research Summary
Current Research Projects
My publications list
Courses
Links:




  •   Decision Procedures

        An Algorithmic Point of View

    •  
     
     
     
  • I am co-chairing SAT'10

    •  
  • An interesting (and important) graph problem that I am trying to solve without success in the last year.
    Please contact me if you think that you can! (UPDATE)

    •  
  • TVS: a translation validation tool from Simulink to C

    •  
  • HaifaSat is a new powerful SAT solver, developed by my student Roman Gershman.

    •  
  • Some presentations I keep online.


Contact information
Email:
ofersie.technion.ac.il
Phone:
(972-4) 829-4433
Fax:
(972-4) 829-5688
Office:
Bloomfield - 412
Address:
Prof. Ofer Strichman
William Davidson Faculty of Industrial Engineering and Management
Technion - Israel Institute of Technology
Technion City, Haifa 32000
Israel

 
 
 
 
Return to the Faculty Members
Go forward to General Information
 
 
Home | Faculty | Research | Courses & Programs | Students | Library | Alumni | About UsTop of page
Copyright © 1998 - 2009  IEM faculty, Technion             Please, send your questions to webmaster  -  Israel Bravo         Disclaimer
http://ie.technion.ac.il/Home/Users/ofers.phtml         Total hits: 023874        Users online: 9                 Last updated at 17:12 - Friday Mar,06th, 2009