Computer Hope

About Me

I am a lecturer and a postdoctoral research associate at the Computer Science Department, Rice University, Houston, Texas.

I currently work with Prof. Moshe Vardi in the Computer-Aided Verification and Reasoning group on various topics in formal methods and synthesis.

My research interests include: software engineering - formal methods and synthesis, artificial intelligence - decision making under uncertainty, algorithms.

My email address: dror.fried at