Hello !

My name is Amit Metodi and welcome to my website.

My main area of intreset is constraint solving in general and SAT solving in particular.
I did M.Sc in Computer Science at Ben Gurion University in this research area (more here).

I also love programming and software development: starting with software design, continue with refactoring to elegant code, and optimizing the code for speed/memory usage.

Now days I am working at .
And a part of the team developing "IntelliGen" - Specman's constraint solver
which used to generate random solutions with unprecedented distribution control.
I am also working on solving constraint satisfaction problems by using SAT solvers.
(click here to publications).

To see some of the old code I written click here.

My Contact Information

profile: here
EMail: amit(a)metodi.me