Information for Student Projects
This page collects various useful information to get you started
on your thesis or research project. Most of the theses I
supervise are within the E project. E ist a theorem prover for
(many-sorted) first-order logic with equality.
- Fresh topics
Cutting Languages Down to Size
This topic deals with the automatic extraction of
self-contained grammars from a larger grammar. It is a
good fit if you enjoyed my formal languages and/or
compile construction class.
Machine Learning for Textual Analysis
In this project we will try to automatically recover
parts of the structure and history of a large
text. Sorry, already taken.
You can find addition open research topics
in this PDF document (in
- Feel free to approach me with your own suggestions. However,
I'm probably not the best supervisor for cell phone app
development projects, and I'm almost certainly not the right
supervisor for anything not running on open platforms (like
Linux, Unix, BSD, ...) using
- I can read English and German well enough to understand and
grade texts. Writing in English is fine, but please be careful
about proof-reading. Do consider getting a style guide. I
Elements of Style by Strunk & White to be
helpful. Older versions out of copyright can be found on the
web, but be aware that while the fundamentals are still good,
some aspects of good writing have changed. The current edition
is available for around EUR 10.
- You can only write if you read. Read the sources provided -
if they are not (good) enough,
go find some
more. You don't need to read every book or paper in full,
but you should have a reasonable mental map of your field of
work, so that you can evaluate and place new ideas. Some
Maps useful. Note that the process is as important as the
result - don't overthink it. If you do them quick and dirty,
you can always throw them away and start over. Large paper
sheets, flipcharts and white- or blackboards are great - don't
obsess over tools.
- If you feel unsure about the structure of the thesis, try
to adapt my generic outline for theses and papers:
- Introduction/Problem statement
- Frequent mistakes
- "Shortly" means "in the near future". Try
- "Im folgenden" can be rendered as "In the following", or
sometimes "Below", but not "Following".
- Most compound adjectives and adverbs need to be
hyphenated in English. All red-blooded humans should
use properly-hyphenated words!
- If you submit a draft and want feedback, please name the
file Name_YYMMDD.pdf, where Name is your
name and YYMMDD is the date of submission (Year,
Month, Date). You write only one thesis of any given type, but
I supervise many, and I need to keep them sorted in my mind
and on my disk.
- The official E web site
has information mostly for (potential) E users
- The E develoment web site
has information mostly for scientists and developers. It also
hosts the private E git repository. However, see next item...
- E is now (also) hosted
on Github, and I recommend that
you clone E from there. It has better tools and I don't need to
fiddle with your public keys ;-).
- My BibTex blibliography file is a
reasonably good start for your literature (don't read all the
- You can download all (or nearly all) of my papers (i.e. the
papers where I am one of the co-authors) from
tutorial is a useful overview
- Google Scholar is a
good place to find additional literature.