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
Now days I am working at
And part of the constraint solving team developing constraint solving engines to cadence's tools:
to publications and patents).
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.
To see some of the old code I written click here
My Contact Information