Marvin Schiller is a PhD student at Saarland University, Saarbrücken, Germany. He receives a scholarship from the graduate school of computer science at Saarland University, and is a guest at the DFKI (German Research Institute for Artificial Intelligence). His research interest is in the field of deduction in artificial intelligence, and the use of automated deduction techniques for mathematics tutoring.

Contact
Research
Travel Schedule
Publications
Memberships
CV

Contact



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

Office: Building D 3 1 (DFKI)
Room -1.29a
Universität des Saarlandes
D-66041 Saarbrücken

Please note: the Omega group moved out
of our offices in building E 1 1,
I am no longer there!


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 .

Research

The main research topic of Marvin Schiller is the mechanized analysis of qualitative aspects in mathematical proofs. One aspect of Marvin's current work concerns the step size ("granularity") of proofs in common mathematical practice, and whether this level of granulariy can be simulated by automated deduction systems. Marvin is a user of the OMEGA theorem proving environment. He also works on the integration of parts of the OMEGA system within the ActiveMath learning environment. In summer 2005, he participated in an empirical study by the DIALOG project.

Travel Schedule (2010)

June 7th-10th, 2010 Mathematical Reasoning Group, Edinburgh, UK
July 15th-19th, 2010 IJCAR, Edinburgh, UK
July 20th, 2010 EMSQMS Workshop, Edinburgh, UK

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.

Collections

2009

  1. Benzmüller, C., Schiller, M. and Siekmann, J. Resource-bounded Modelling and Analysis of Human-level Interactive Proofs. PDF 

Conference Papers

2009

  1. Schiller, M. and Benzmüller, C. Proof Granularity as an Empirical Problem?. In Proc. Computer Science in Education (CSEDU), 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.. 

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.. 
  2. Schiller, M., Dietrich, D. and Benzmüller, C. Towards Computer-Assisted Proof Tutoring. In SCOOP Workshop: 1st Workshop on Scientific Communities of Practice, 2007. PDF 

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 

MSc Theses

2005

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

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)