Marvin Schiller works for the Institute for Artificial Intelligence at the University of Ulm. His research interests are knowledge representation, cognitive modelling, automated and human reasoning, and intelligent tutoring systems. Previously, Marvin worked for the Centre for the Study of Expertise at Brunel University , where he investigated cognitive models for problem gambling under the direction of Prof. Gobet . Marvin obtained his PhD in 2010 for his thesis "Granularity Analysis for Tutoring Mathematical Proofs" at Saarland University, Saarbrücken, Germany, where he has been a member of the Centre for E-Learning CeLTech .

Together with Prof. Gobet, Marvin was an organiser for the recent 2011 London Workshop on Problem Gambling and the CHREST Tutorial.

Travel Schedule


Office hours: with appointment, just phone me. If I am in, just come into my office.

Office: Building O27, room 421
Institute for Artificial Intelligence
Universität Ulm
D-89069 Ulm, Germany

Social Networks: connect with me on facebook or

In June and July 2008 I was a visitor at Carnegie Mellon University in Pittsburgh, at the department of Prof. Sieg. I have a blog with recent pictures from the U.S., it's called Groundhogs and Squirrels .

Travel Schedule (2012)

January 18th, 2012 University of Hertfordshire, UK. Talk: "Developing Cognitive Models for Problem Gambling: On Memory, Reinforcement, and Emotions"
March 5th, 2012 University of Birmingham. Talk: "Cognitive Models of Gambling and Problem Gambling Behaviour: Current Developments"
May 29th, 2012 University of Ulm, Germany. Talk: "Developing Cognitive Models of Gambling and Problem Gambling Behaviour"
Sep. 24-27th, 2012 35th German Conference on Artificial Intelligence, Saarbrücken, Germany. Talk/Paper: "A Comparison between Cognitive and AI Models of Blackjack Strategy Learning"


Please note: Some of the papers are not available on my website. However, you can email me and I will send you a copy ASAP.

Journal Papers


  1. Schiller, M., Dietrich, D. and Benzmüller, C. Proof Step analysis for proof tutoring -- a learning approach to granularity. In Teaching Mathematics and Computer Science, 6 (2): 325 - 343, 2008.

Chapters in Books


  1. Benzmüller, C., Schiller, M. and Siekmann, J. Resource-bounded Modelling and Analysis of Human-level Interactive Proofs. In Resource Adaptive Cognitive Processes, pages 291-311, Springer, 2009. PDF 

Conference Papers


  1. Schiller, M. and Gobet, F. A Comparison between Cognitive and AI Models of Blackjack Strategy Learning. In KI 2012: Advances in Artificial Intelligence, pages 143-155, Springer Berlin / Heidelberg, 2012. more.. 


  1. Gobet, F. and Schiller, M. A Manifesto for Cognitive Models of Problem Gambling. In European Perspectives on Cognitive Sciences - Proceedings of the European Conference on Cognitive Science, New Bulgarian University, 2011. PDF 


  1. Schiller, M. and Benzmüller, C. Proof Granularity as an Empirical Problem?. In Proc. Computer Science in Education (CSEDU), pages 350-354, 2009. PDF  BIBTEX 
  2. Schiller, M. and Benzmüller, C. Presenting Proofs with Adapted Granularity. In KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, pages 289-297, Springer, 2009. more.. 
  3. Schiller, M. and Benzmüller, C. Granularity-Adaptive Proof Presentation. In Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling, Proceedings of the 14th International Conference on Artificial Intelligence in Education, AIED 2009, July 6-10, 2009, Brighton, UK, pages 599-601, 2009. more.. 


  1. Benzmüller, C., Dietrich, D., Schiller, M. and Autexier, S. Deep Inference for Automated Proof Tutoring?. In KI, pages 435-439, Springer, 2007. more.. 


  1. Benzmüller, C., Horacek, H., Lesourd, H., Kruijff-Korbajova, I., Schiller, M. and Wolska, M. A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), ELDA, 2006.
  2. Benzmüller, C., Horacek, H., Kruijff-Korbayova, I., Lesourd, H., Schiller, M. and Wolska, M. DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. In KI, pages 159-173, Springer, 2006. more.. 
  3. Schiller, M., Benzmüller, C. and Veire, A. V. de. Judging Granularity for Automated Mathematics Teaching. In LPAR 2006 Short Papers Proceedings, 2006. more..  PDF 
  4. Schiller, M. and Benzmüller, C. Granularity Judgments in Proof Tutoring. In Poster papers at KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, 2006. PDF 

Workshop Papers


  1. Autexier, S., Dietrich, D. and Schiller, M. Towards Intelligent Tutors for Mathematical Proofs.  In P. Quaresma and R.-J. Back (Eds): Proceedings of the First Workshop on CTP Components for Educational Software (THedu'11), Wroclaw, Poland, July 2011,EPTCS, 79 PDF 


  1. Benzmüller, C. and Schiller, M. Adaptive Assertion Level Proofs.  The Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions (EMS+QMS-2010, affiliated with IJCAR 2010 and CAV 2010), Edinburgh, UK, July 20, 2010 PDF 
  2. Schiller, M. and Benzmüller, C. Human-Oriented Proof Techniques are Relevant for Proof Tutoring.  Workshop on Mathematically Intelligent Proof Search (MIPS 2010, affiliated with CICM 2010), Paris, France, July 10, 2010 PDF 


  1. Schiller, M., Dietrich, D. and Benzmüller, C. Towards Computer-Assisted Proof Tutoring.  SCOOP Workshop: 1st Workshop on Scientific Communities of Practice, Jacobs University Bremen, Germany PDF 

MSc Theses


  1. Schiller, M. Mechanizing Proof Step Evaluation for Mathematics Tutoring - The Case of Granularity. PDF 

PhD Theses


  1. Schiller, M. Granularity Analysis for Tutoring Mathematical Proofs. Ph.D. Thesis, Saarland University, 2010.

Technical Reports


  1. Schiller, M. and Benzmüller, C. Granularity-Adaptive Proof Presentation. PDF  BIBTEX 


I am a proud member of...


In the event of this CV being not fully up to date, send me an email and I will send you the latest. (PDF)