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.
  • 70CitationsNumber 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.

Groups

  • LVL
    LVL

Co-authors (18)

Publications (5)

  • Learning and teaching algorithm design and optimisation using contests tasks

    • Combéfis S
    • Barry S
    • Crappe M
    • et al.
    N/AReaders
    0Citations
    Get full text
  • State event models for the formal analysis of human-machine interactions

    • Combéfis S
    • Giannakopoulou D
    • Pecheur C
    N/AReaders
    1Citations
  • Growing algorithmic thinking through interactive problems to encourage learning programming

    • Combéfis S
    • Van Den Schrieck V
    • Nootens A
    N/AReaders
    3Citations
  • A formal framework for design and analysis of human-machine interaction

    • Combéfis S
    • Giannakopoulou D
    • Pecheur C
    • et al.
    N/AReaders
    14Citations
    Get full text
  • Learning system abstractions for human operators

    • Combéfis S
    • Giannakopoulou D
    • Pecheur C
    • et al.
    N/AReaders
    7Citations
    Get 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

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)