Meinolf Sellmann

Meinolf Sellmann
Alma mater	Paderborns universitet
Utmärkelser	NSF Career Award 2007
Vetenskaplig karriär
Fält	Algoritmer , operationsforskning och artificiell intelligens för kombinatorisk optimering
institutioner	InsideOpt
Doktorandrådgivare	Burkhard Monien

Meinolf Sellmann , född i Holzminden , Tyskland , datavetare, mest känd för algoritmisk forskning, med särskilt fokus på självförbättrande algoritmer, automatisk algoritmkonfiguration och algoritmportföljer baserade på artificiell intelligens, kombinatorisk optimering och hybridisering därav.

Han tog en doktorsexamen (Dr. rer. nat.) 2002 från Paderborn University (Tyskland) och är nu CTO för InsideOpt, ett optimeringsföretag som han grundade 2021. Före detta nuvarande engagemang var han Director for Network Optimization på Shopify , Labdirektör för maskininlärning och kunskapsupptäckt vid det globala forskningscentret för General Electric , innehade en position som senior manager för datakurering på avdelningen för kognitiva datorer vid IBM Research, assisterande professor vid Brown University och postdoktor vid Cornell University .

Hans utmärkelser inkluderar priset från fakulteten vid universitetet i Paderborn (Tyskland) för sin doktorsavhandling, ett NSF Career Award 2007, två guldmedaljer vid SAT-tävlingen 2011, en vinnande lösare vid 2012 SAT Challenge, två guldmedaljer på SAT-tävlingen 2013, sjutton vinnande lösare vid MaxSAT-utvärderingarna 2013-2016 och två förstaplatser vid 2021 års AI för TSP-tävling.

Han mottog också IBM Outstanding Technical Innovation Awards 2013 och 2014, en A-level Business Accomplishment 2015, och vann Shopify Fulfillment Network Sharktank-tävlingen 2021. Han var inbjuden som huvudtalare på Gecco 2022, Anziam 2017, Techkriti Optimization Day17,2020, Techkriti Day. , OR 2017, AAAI 2015 och satt i IEEE tekniska styrelse för framväxande teknologier (2012-2015), AAAI utbildningsnämnd (sedan 2016), som programordförande för IAAI 2021 och IAAI 2022, Cluster Chair on the Future of Computing på Inform 2017, konferensordförande för CP 2007, konferensomfattande workshopordförande för AAAI 2008, och som programordförande för CPAIOR 2013 och LION 2016.

• IBM Research-sida
• MaxSAT-utvärderingar (leta efter ISAC och dsat-wpm)
• 2016 MaxSAT-utvärdering (leta efter dsat-wpm)
• AI4TSP-tävling (vinnande lösare Convexers och RiseUp)