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.

Office Hours Wednesday, 10-11 hrs in Mathematics building, Thursday 17-18 hrs in Computer Science building.

Schedule


Monday    14:00-15:30  Office hour Math building   S14#04-13
Monday    16:00-18:00  Lecture Recursion Theory    S14#03-01 Math Studio
Tuesday   16:00-18:00  Freshmen Seminar            S16#04-37
Wednesday 09:00-11:00  Lecture Recursion Theory    S14#03-01 Math Studio
Thursday  11:00-12:00  Tutorial Recursion Theory   S14#03-01 Math Studio
Thursday  17:00-18:00  Office hour CS building    COM1#02-16

Teaching

Semester 1 of Academic Year 2008-2009.
MA6219 - Recursion Theory, Monday from 16:00 hrs to 18:00 hrs in S14#03-01, Wednesday from 9:00 hrs to 11:00 hrs in S14#03-01, Tutorial Thursday from 11:00 hrs to 12:00 hrs in S14#03-01. Course notes: ps-file; pdf-file.
Freshmen-Seminar SP1201M on the Mathematical Foundations of Computer Science, for students of the first year. Tuesday 16:00 hrs to 18:00 hrs.
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. Organizing the Logic Seminar, see also the departemental page.
Semester 1 of Academic Year 2007-2008.
MA6291 - 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.
F. Stephan actively participates in organizing conferences on Algorithmic Learning Theory. ALT 2005 is in Singapore and he is together with Phil Long chair of the programme committee of ALT 2006.
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
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 site.