Skip to content

Sébastien Combéfis

  • Dr
  • Lecturer
  • École Centrale des Arts et Métiers
  • 5h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 47CitationsNumber of citations received by Sébastien's publications. Updated daily.

Other IDs

Research interests

Applying Formal Methods for Human-Computer Interaction Analysis

About

I am PhD Student since September 2007 and work as a teaching assistant. I graduated from the Louvain School of Engineering at the Université catholique de Louvain with a Master of Computer Science Engineering in June 2007. I wrote a master's thesis on viral marketing and community detection techniques. My PhD thesis is on applying formal method techniques to the analysis of human-computer interaction. My thesis is supervised by Pr. Charles Pecheur and we are working together in the Louvain Verification Lab. I am also founder and President of the UCLouvain ACM Student Chapter, an association whose goal is to promote computer science to people at large.

Co-authors (12)

Publications (21)

Automatic Detection of Potential Automation Surprises for ADEPT Models

  • Combéfis S
  • Giannakopoulou D
  • Pecheur C
IEEE Transactions on Human-Machine Systems (2016)
  • n/a

    Readers

  • 0

    Citations

Full text

State event models for the formal analysis of human-machine interactions

  • Combéfis S
  • Giannakopoulou D
  • Pecheur C
AAAI Spring Symposium - Technical Report (2014)
  • n/a

    Readers

  • 1

    Citations

Growing algorithmic thinking through interactive problems to encourage learning programming

  • Combéfis S
  • Van Den Schrieck V
  • Nootens A
Olympiads in Informatics (2013)
  • n/a

    Readers

  • 1

    Citations

A formal framework for design and analysis of human-machine interaction

  • Combéfis S
  • Giannakopoulou D
  • Pecheur C
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics (2011)
  • n/a

    Readers

  • 11

    Citations

Full text

Learning system abstractions for human operators

  • Combéfis S
  • Giannakopoulou D
  • Pecheur C
ACM International Conference Proceeding Series (2011)
  • n/a

    Readers

  • 5

    Citations

Full text

Professional experience

Lecturer

École Centrale des Arts et Métiers

September 2014 - Present

Professor

Institut Technique Supérieur Cardinal Mercier

September 2011 - Present

Invited Lecturer

Université catholique de Louvain

September 2014 - September 2016(2 years)

Research Assistant

Université catholique de Louvain

September 2013 - May 2014(8 months)

Teaching Assistant

Université catholique de Louvain

September 2007 - September 2013(6 years)

Treasurer

UCLouvain ACM Student Chapter ASBL

September 2011 - September 2012(a year)

President

UCLouvain ACM Student Chapter ASBL

September 2009 - September 2011(2 years)

Visiting Researcher

NASA Ames Research Center

June 2011 - July 2011(a month)

Visiting Researcher

NASA Ames Research Center

August 2010 - September 2010(a month)

Education history

Higher Education Teaching Certificate

Université catholique de Louvain

January 2016 - Present

Advanced Master in Pedagogy in Higher Education

Université catholique de Louvain

September 2010 - June 2014(4 years)

PhD in Engineering

Université catholique de Louvain

September 2007 - November 2013(6 years)

Master in Computer Science Engineering

Université catholique de Louvain

September 2002 - June 2007(5 years)

General Secondary Education

Lycée de Berlaymont

September 1996 - June 2002(6 years)