Frank Stephan's Home Page

Frank Stephan is a 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#03-11, 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

Please enlarge the maps at the below links twice by clicking onto the "+" in the map.
The Department of Mathematics is located at 10 Lower Kent Ridge Road and the building is known as "S17" and has formerly been known as "SoC1". The office S17#07-04 is room 04 on level 07. The telephone in the office has the number 65162759.
The building COM2 is the second building of the School of Computing. The office COM2#03-11 is room 11 on level 03. The telephone in the office has the number 65164246.

Frank Stephan's schedule is as follows:

    Monday    09:00-10:00  Meeting                      COM2#03-11
    Monday    10:00-11:00  Meeting                      COM2#03-11
    Monday    15:00-16:00  Meeting                      COM2#03-11
    Tuesday   09:00-10:00  Meeting                      COM2#03-59
    Tuesday   10:00-11:00  Meeting                      COM2#03-59
    Tuesday   13:00-14:00  Meeting                      S17#07-04
    Tuesday   16:00-17:00  Meeting                      S17#07-04
    Tuesday   17:00-18:00  Meeting                      S17#07-04
    Wednesday 13:00-14:00  Meeting                      S17#07-04
    Wednesday 17:00-18:00  Logic Seminar                S17#04-05
    Thursday  14:00-15:00  Office Hour                  S17#07-04
    Thursday  16:00-18:00  FMS1207M Freshman Seminar    S16#03-04
    Friday    13:00-14:00  Meeting                      S17#07-04
    Friday    14:00-15:00  Meeting                      S17#07-04
    Friday    15:00-16:00  Meeting                      S17#07-04
    Friday    16:00-17:00  Meeting                      S17#07-04

Teaching

Semester 2 of Academic Year 2012-2013.
FMS1207M Freshmen-Seminar on Mathematics and Computer Science for students of the first year.
Organising the Logic Seminar, see also the homepage of the department on seminars and colloquia.
Semester 1 of Academic Year 2012-2013.
CS5236 Advanced Automata Theory.
Organising the Logic Seminar, see also the homepage of the department on seminars and colloquia.
Semester 2 of Academic Year 2011-2012.
GEM1501 Problem Solving for Computing.
FMC1201 Freshmenseminar on Is Computer Science Science? for students of the first year.
Organising the Logic Seminar, see also the homepage of the department on seminars and colloquia.
Semester 1 of Academic Year 2011-2012.
MA5219 Logic and Foundations of Mathematics 1.
FMS1207M Freshmen-Seminar on Mathematics and Computer Science for students of the first year.
Organising the Logic Seminar, see also the homepage of the department on seminars and colloquia.
Semester 2 of Academic Year 2010-2011.
GEM1501 Problem Solving for Computing.
Organising the Logic Seminar, see also the departemental page.
Semester 1 of Academic Year 2010-2011.
Sabbatical, no teaching duties.
Semester 2 of Academic Year 2009-2010.
GEM1501 Problem Solving for Computing.
Organising 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.
Organising the Logic Seminar, see also the departemental page.
Semester 2 of Academic Year 2008-2009.
GEM1501 Problem Solving for Computing.
Organising 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.
Organising the Logic Seminar, see also the departemental page.
Semester 2 of Academic Year 2007-2008.
GEM1501 - Problem Solving for Computing.
Organising 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.
Organising 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.