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
      2 Science Drive 2, S14, Singapore 117543
      Primary office is S14#04-13, Telephone +65-6516-2759

  (2) School of Computing, National University of Singpore
      Law Link, COM1, Singapore 117590
      Secondary office is COM1#02-16, Telephone +65-6516-4246

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

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

Maps and explanations

The Department of Mathematics is located at the corner of Lower Kent Ridge Road and 2 Science Drive. The staircase of the neighbouring S15 is nearer to the office than the one of S14 itself, the level is 04, the room is 13. More maps show a larger area of the campus around the office as well as the whole Kent Ridge Campus.
The building SoC1 alias S17 is located opposite to the building S15 on the Lower Kent Ridge Road and is the old building of the School of Computing.
The building COM1 is the new building of the School of Computing. It is considered as the starting point of a series of buildings COM1, COM2, COM3, ... while the building SoC1 will be given up in 2009 or 2010. The main entrence to COM1 is at the place on the map where the red star is situated and from there there are directions how to reach the basement and the programming labs in it. There is a list of locations on the webpage of the School of Computing.

Schedule and Office Hours

    Tuesday   09:00-10:00  Regular Meeting              S14#04-13
    Tuesday   10:00-11:00  Office hour Math building    S14#04-13
    Tuesday   12:00-14:00  Set Theory lecture MA3205    S16#04-36
    Tuesday   16:00-17:00  Regular Meeting              S14#04-13
    Tuesday   17:00-18:00  Regular Meeting              S14#04-13
    Wednesday 09:00-10:00  Set Theory Tutorial 1        S16#05-99
    Wednesday 10:00-11:00  Regular Meeting              S14#04-13
    Wednesday 14:00-15:00  Set Theory Tutorial 2        S16#05-99
    Wednesday 15:30-18:00  Logic Seminar                S14#04-01 Math Studio
    Thursday  09:00-10:00  Office hour CS building     COM1#02-16
    Thursday  10:00-11:00  Regular Meeting             COM1#02-16
    Thursday  12:00-13:00  Regular Meeting             COM1#02-16
    Thursday  15:00-16:00  Set Theory Tutorial 3        S9A#01-01
    Thursday  16:00-18:00  Freshman Seminar SP1201M-SL2 S16#04-40
    Friday    10:00-11:00  Regular Meeting              S14#04-13
    Friday    12:00-14:00  Set Theory lecture MA3205    S16#04-36
    Friday    14:00-15:00  Regular Meeting              S14#04-13

At other times: meeting by appointment also possible

Teaching

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.