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
BOOKS:


Decision Procedures
An Algorithmic Point of View

Efficient Decision Procedures for Validation

LINKS:
  • I am co-chairing SAT'10

    •  
  • 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 - 2010  IEM faculty, Technion             Please, send your questions to webmaster  -  Israel Bravo         Disclaimer
    http://ie.technion.ac.il/Home/Users/ofers.phtml         Total hits: 026045        Users online: 1                 Last updated at 17:12 - Friday Mar,06th, 2009