Academic Homepage of Gábor Alagi.

Gábor Alagi

Former Doctoral Researcher

@ Max-Planck-Institut für Informatik
Saarbrücken, Germany

# Research

Research Interests

  • Superposition
  • First-Order Theorem Provers
  • Machine Learning in Automated Reasoning
  • SAT Solving

Ph.D. Topic: Efficient Reasoning in Finite Domains
Supervisor: Christoph Weidenbach

# Teaching

Recent Activities 

Past Activities 

  • See my full CV below for courses before Saarland University 

# Background

Academic Career

  • April 2012 - 2017:
    Ph.D. Student in Computer Science at Saarland University and Doctoral Researcher at the Max Planck Institute for Informatics
    Saarbrücken, Germany
  • September 2009 - February 2012:
    Ph.D. Student in Informatics at Eötvös Loránd University, Budapest, Hungary


  • August 2009: M.Sc. in Computer Science with Honours
    Title of Master's Thesis (Diplomarbeit): Paramodulation in the conventional and the free-variable resolution calculus (in Hungarian)
    (supervisor: dr. habil. Katalin Pasztor Varga)
  • September 2003 - July 2009:
    Studies in Computer Science at Eötvös Loránd University, Budapest, Hungary
  • July 2003:
    Abitur at Városmajori Gimnázium, Budapest, Hungary

Scholarships and Awards 

  • 2009: Ph.D. Scholarship granted by the Hungarian State
  • 2007: Third place at the Computer Science Section of the 28th National Conference of Students in Informatics
  • 2005, 2006, 2007: Fellowship granted by the Hungarian State for excellent studies
  • 2006, 2007, 2008: Prominent Student of the Faculty

# Publications

  • Gábor Alagi and Christoph Weidenbach: NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment, 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), 2015.
    Extended paper available at
  • K. Pásztor Varga, G. Alagi, and M. Várterész: Many-valued logics – implications and semantic consequences, Acta Universitatis Sapientiae, Informatica, 5, 2 (2013) pp.145-166, 2013.
  • Gábor Alagi: A type system for parallel resource sharing, 8th Joint Conference on Mathematics and Computer Science (MaCS 2010), Selected Papers, 2011.
  • Gábor Alagi: Paramodulation in the conventional and the free-variable resolution calculus (in Hungarian), Diploma Thesis, 2009.

PDF icon full academic cv62.12 KB