Daniel Vallstrom
Daniel Vallstrom

Daniel Vallstrom

Logician, SAT automated proving competition winner. https://sites.google.com/site/danielvallstrom/