, Amit.Metodi.me

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).

Now days I am working at .
And part of the constraint solving team developing constraint solving engines to cadence's tools:
(click here 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

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