Research collaboration: The most productive and fun way to do research is in collaboration with others.
I have been lucky to work with many great researchers in discrete optimization and satisfiability, reactive synthesis,
algorithms theory and computational social choice.