I am a German computer scientist working at Medallia Argentina.

I received my Ph.D. in 2009 from Humboldt-University Berlin. Before coming to Argentina I was a postdoc at UC Berkeley and at the Centre de Recerca Matematica in Bellaterra, Spain.
I am author of the #SAT solver sharpSAT.

Email: marc...@gmail.com