Frank Stephan's Home Page

Frank Stephan is an associated professor at the Departments of Mathematics and Computer Science of the National University of Singapore.

Frank Stephan's addresses are:

  (1) Department of Mathematics, National University of Singapore
      Block S17, 10 Lower Kent Ridge Road, Singapore 119076
      Primary office is S17#07-04, Telephone +65-6516-2759

  (2) School of Computing, National University of Singpore
      Block COM2, 13 Computing Drive, Singapore 117417
      Secondary office is COM2#02-02, Telephone +65-6516-4246

The telefax of the Department of Mathematics is +65-6779-5452

The email address is fstephan@comp.nus.edu.sg

Maps and explanations

The Department of Mathematics is located at 10 Lower Kent Ridge Road and the building is known as "S17" and "SoC1"; the building still has some facilities of the School of Computing although those are moving to COM2 in May / June 2010. The office is room 04 on level 07.
The building COM2 is the the second new building of the School of Computing.
Please click on "+" at the map for getting the exact office location of the offices. In the case of the second office, go from the entrance indicated in direction of COM2.

Schedule and Office Hours

Currently, F. Stephan is travelling a lot. Therefore meeting by appointment
only.

Teaching

Semester 2 of Academic Year 2009-2010.
GEM1501 Problem Solving for Computing.
Organizing the Logic Seminar, see also the departemental page.
Semester 1 of Academic Year 2009-2010.
MA3205 - Set Theory.
Freshmen-Seminar on Mathematics and Computer Science for students of the first year.
Organizing the Logic Seminar, see also the departemental page.
Semester 2 of Academic Year 2008-2009.
GEM1501 Problem Solving for Computing.
Organizing the Logic Seminar, see also the departemental page.
Semester 1 of Academic Year 2008-2009.
MA6219 - Recursion Theory, Course notes: ps-file; pdf-file.
Freshmen-Seminar SP1201M on the Mathematical Foundations of Computer Science, for students of the first year.
Organizing the Logic Seminar, see also the departemental page.
Semester 2 of Academic Year 2007-2008.
GEM1501 - Problem Solving for Computing.
Organizing the Logic Seminar, see also the departemental page.
Semester 1 of Academic Year 2007-2008.
MA6219 - Recursion Theory.
Freshmen-Seminar on the Mathematical Foundations of Computer Science for students of the first year.
Organizing the Logic Seminar, see also the departemental page.
Semester 2 of Academic Year 2006-2007.
GEM1501 - Problem Solving for Computing.
Semester 1 of Academic Year 2006-2007.
MA3205 - Set Theory.
Freshmen-Seminar on the Mathematical Foundations of Computer Science for students of the first year.
Semester 2 of Academic Year 2005-2006.
GEM1501 - Problem Solving for Computing.
Semester 2 of Academic Year 2004-2005.
GEM1501 - Problem Solving for Computing; MA3219 - Computability Theory.
Semester 1 of Academic Year 2004-2005.
MA3205 - Set Theory.
Teaching in Germany from 1996 to 2003.
Introduction to Learning Theory.

Here a list of Proposals for Honours Years Students. These topics are open to mathematics students and computer science students.

Research Interests

Recursion Theory and Kolmogorov Complexity.
Learning Theory, in particular Inductive Inference.
Computational Complexity.
Automata and Formal Languages, in particular Automatic Structures.

Scientific Publications

List of Publications; due to copyright reasons, there are only preliminary versions (technical reports, files prior to submission to a journal, conference versions) or conference versions of the publications on that page
Erdoes-Number and List of Coauthors
Overview on some selected papers

Membership of the following Organizations

Research Links

List of Scientific Conferences
Reports on Oberwolfach Meetings: 1996, 2001 (with photo)
Recursion Theory Homepage
The Association for Symbolic Logic and its meetings
Computational Learning Theory
Asian Logic Conference in Singapore.
ALT 2009, the next conference on Algorithmic Learning Theory.
The Archives of ALT conferences and workshops
The Bibliography on Computational and Algorithmic Learning Theory

Frank's Characters

If you do not remember the URL, search for >> Frank Stephan Singapore << in Google to find this webpage.