Marvin Schiller works for the Centre for the Study of Expertise at Brunel University . He investigates 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.

Contact
Travel Schedule
Publications
Memberships
CV

Contact



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

Office: Gaskell building, room 259
School of Social Sciences
Department of Psychology
Brunel University, Uxbridge UB8 3PH
UK

Social Networks: connect with me on facebook or academia.edu.

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 (2011-2012)

April 3rd-5th, 2011 International Conference on Gambling Studies, Nottingham, UK. Talk: "The Making-of the Problem Gambler - Towards a Cognitive Model".
April 6th, 2011 University of Hertfordshire, UK. Talk: "Computer-Assisted Proof Tutoring and the Aspect of Proof Granularity"
May 21st-24th, 2011 Talk/paper at EuroCogSci 2011, Sofia, Bulgaria: "A Manifesto for Cognitive Models of Problem Gambling".
June 13th-15th, 2011 8th Nordic Conference on Prevalence, Prevention, Treatment and Responsible Gaming, Reykjavik, Iceland. Talk: "Development of Problem Gambling: Towards a Cognitive Model"
July 31st, 2011 THedu 2011 Workshop (affiliated with CADE-23), Wroclaw (Breslau), Poland. D. Dietrich and I present joint work with S. Autexier: "Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies"
December 19th, 2011 Talk "Modelling Proof Granularity" at Birmingham University, Department of Computer Science
January 18th, 2012 University of Hertfordshire, UK. Talk: "Developing Cognitive Models for Problem Gambling: On Memory, Reinforcement, and Emotions"

Publications


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

2008

  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

2009

  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

2011

  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 

2009

  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.. 

2007

  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.. 

2006

  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

2010

  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 

2007

  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

2005

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

PhD Theses

2010

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

Technical Reports

2009

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

Memberships

I am a proud member of...

CV

Beware, this CV might not be fresh. However, I can send fresh CVs on request. (PDF)