That’s me !

Roman Gershman’s personal page

This is my first attempt in web developing. Hope it will improve.

Research Interests

My main research interests are Artificial Intelligence Algorithms and Formal Verification methods for Hardware and Software Verification.

Right now I am working in the field of Formal Verification; in particular, I wrote a new SAT solver HaifaSat which participates in SAT Competition 2005.

I am doing my Master Degree under the supervision of  Dr. Ofer Strichman.

Contact Information

E-mail address

gershman@cs.technion.ac.il

Department

Computer Science Department, Technion Haifa.

Current Projects

HaifaSat can be downloaded for non-commercial use only.

My Papers

Personal Interests

Sleeping til 11am. Well, it’s more like a hobby rather than personal interest.


Back to top

Last Updated: 14/05/2005

Valid HTML 4.01!

Research Interests

Contact Information

Current Projects

Published papers

Personal Interests