Technion Site
Ofer Strichman
Ofer Strichman Official Site עופר שטריכמן SAT formal-verification computational-logic
Ofer Strichman
  • Home
  • Publications
  • Teaching
  • Research interests
  • Software and benchmarks
  • Students
Homepage

cv_technion_format

cv_technion_format

20/06/2024Ofer Strichman

Post navigation

Contact info

Email: ofers – the ‘at’ sign – technion.ac.il

Faculty of Data and Decision Sciences.

The Bloomfield Building, room 412.

Technion, Haifa 3200003, Israel.

 

Proudly powered by WordPress