Meinolf Sellmann

Who is Meinolf Sellmann?

Meinolf Sellmann, born in Holzminden, Germany, computer scientist, best known for algorithmic research in combinatorial optimization, artificial intelligence, and the hybridization thereof.

He received a doctorate degree in 2002 from Paderborn University and is now leading a group on the integration of artificial intelligence and operations research at IBM Research. Prior to 2010 he was appointed Assistant Professor at Brown University and Postdoctoral Scholar at Cornell University. His honors include the Prize of the Faculty of the University of Paderborn for his doctoral thesis, an NSF Career Award in 2007, two Gold Medals at the SAT Competition 2011, a winning Solver at the 2012 SAT Challenge, two Gold Medals at the SAT Competition 2013, and six winning solvers at the 2013 MaxSAT Evaluation. He also served as Conference Chair of CP 2007, conference-wide Workshop Chair of AAAI 2008, and as Program Chair of CPAIOR 2013.