Technion web site Industrial Engineering and Management  
Hebrew     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
BOOKS:


Decision Procedures
An Algorithmic Point of View


Efficient Decision Procedures for Validation

LINKS:
  • Looking for PhD students and postdocs

  •  
  • hhlmuc: Haifa's high-level minimal unsatisfiable core extractor.

  •  
  • 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
    http://ie.technion.ac.il/Home/Users/ofers.phtml         Total hits: 040384        Users online: 1                 Last updated at 10:22 - Wednesday Jan,25th, 2012