Meghyn Bienvenu


A more detailed CV can be downloaded here (last updated: September 16, 2016)

Academic Positions

2015-... CNRS researcher (CR1) at LIRMM, Université de Montpellier.
  Member of the GraphIK team (Knowledge representation and reasoning)
2010-2015 CNRS researcher (CR1 since Oct. 2014) at LRI, Université Paris Sud.
  Member of the LaHDAK team (Large-scale heterogeneous data and knowledge)
2009-2010 Postdoctoral researcher at Universität Bremen.
  Member of the TDKI team (Theory of artificial intelligence), led 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
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

Selected Awards and Honours

CNRS Bronze Medal (Section 6: computer science), 2016
Early Career Spotlight (invited talk at IJCAI), 2016
Keynote Speaker at RR conference, 2016
Best Paper Award at RR conference, 2016
Thesis Prize in Artificial Intelligence (awarded by AFIA, the French association for AI), 2009

Recent Professional Activities

Workshop co-chair of the 30th International Workshop on Description Logics (DL 2017)
PC Member of the 36th International Conference on the Principles of Database Systems (PODS 2017)
PC Member of the 20th International Conference on Database Theory (ICDT 2017)
Doctoral Consortium Co-Chair of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
Senior PC Member of the 21st International Conference on Artificial Intelligence (IJCAI 2016)
PC Member of the 29th International Workshop on Description Logics (DL 2016)
PC Member of the 10th International Conference on Web Reasoning and Rule Systems (RR 2016)
PC Member of the 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016)
Senior PC Member of the 20th International Conference on Artificial Intelligence (IJCAI 2015)
PC Member of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015): regular and AI & Web tracks
PC Member of the 28th International Workshop on Description Logics (DL 2015)
PC Member of the 9th International Conference on Web Reasoning and Rule Systems (RR 2015)
PC Member of the 9th International Web Rule Symposium (RuleML 2015)
PC Co-Chair of the 27th International Workshop on Description Logics (DL 2014)
PC Member of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)
PC Member of the 21st European Conference on Artificial Intelligence (ECAI 2014)
PC Member of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014)

Research Grants

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