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.
To see some of the old code I written click here
My Contact Information