|
|
|
I am leading the Constraint Reasoning Group in Microsoft Research Cambridge (MSRC) and co-leading the Adaptive Combinatorial Search for e-Science project in the MSR/INRIA joint-lab, located in Orsay near Paris. My research interests include combinatorial optimization in alternative frameworks: parallel, distributed and reconfigurable architectures. I am also interested in the application of machine learning to search. More generally my current focus is on Autonomous Search, workflow engines and propositional satisfiability. Disolver: the distributed constraint solver.
ManySat: the award winning parallel SAT solver.
Some papers. Some interesting links:
|
