Meghyn Bienvenu


Academic Positions

2010-... CNRS researcher (chargée de recherche) at Université Paris Sud.
  Member of the IASI team (Artificial Intelligence and Inference Systems) at LRI
  
2009-2010 Postdoctoral researcher at Universität Bremen.
  Member of the TDKI team (Theory of Artificial Intelligence)
  Supervised by Carsten Lutz
  

Education

2006-2009 PhD in Computer Science
  Received from: Université Paul Sabatier, Toulouse, France
  Title of thesis: Consequence Finding in Modal Logic
  Advisors: Andreas Herzig, Jérôme Lang, Jérôme Mengin
  Defense date: May 7th, 2009
  Co-recipient of AFIA thesis prize
  
2005-2006 Master of Science in Artificial Intelligence
  Received from: Université Paul Sabatier, Toulouse, France
  Ranked 1st (with ''mention très bien'')
  
2000-2004 Honour's Bachelor of Science
  Specializations: Mathematics and Artificial Intelligence
  Received from: University of Toronto, Toronto, Canada
  Graduated with high distinction
  

Professional Activities

Committees Program committee co-chair of the 2014 DL workshop
Program committee member for the KR conference (2012, 2014)
Program committee member for the IJCAI conference (2011, 2013)
Program committee member for the RR conference (2013)
Steering committee member for the DL workshop series (2009-2012)
Program committee member for the ECAI conference (2010, 2012)
Program committee member for the AAAI conference (2010, 2011)
Program committee member for the DL workshop (2009-2013)
Program committee member for the OWLED workshop (2012, 2013)
Reviewing AIJ, JAIR, TODS, J. of Automated Reasoning, J. of Web Semantics,
J. of the IGPL, J. of Applied Logic
  

Research Grants

2013-2017 Principal investigator of PAGODA project (ANR JCJC)
2012 Attractivité starting grant (Universit√© Paris-Sud)
  

Languages

English native speaker
French fluent speaker