Portrait of Steven Woodhouse

Steven Woodhouse

Post Doc Researcher


I’m a Post Doc Researcher in the Programming Principles and Tools Group (PPT) at Microsoft Research, Cambridge.

My research interests are in logical constraint solving, machine learning, and the connections between these two fields, and in applying these techniques to problems in computational biology.