Picture of Steffen Lempp

Office Address

Department of Mathematics
University of Wisconsin
480 Lincoln Drive
Madison, WI 53706-1325


Skype: steffen.lempp
Office phone: +1-608-263-1975
Department phone: +1-608-263-3053
Fax: +1-608-263-8891
(Please note that I do not regularly monitor the answering machine of my office phone, so if you want to reach me quickly, email works best.)

Office and office hours during semester

Office: 525 Van Vleck Hall
Office hours: virtual only until further notice, Tuesday/Thursday 12:00-1:00 during semester, or by appointment.
(Email me ("> to request a Google meet.
You will need only a browser open, and I will send you a link to log in.)

Course taught in fall 2024

Note to current and prospective graduate students

Since I will retire in December 2024, I will not take on new graduate students (except as co-advisor).
I encourage any student interested in logic to contact my wonderful colleagues in logic.

Logic seminars around the Midwest

Conferences I plan to attend

Online logic seminars worldwide

Other conferences of interest to logicians

My research interests

My primary research interest is computability in its various aspects, both in classical computability theory, in particular degree structures, and in applications of computability to model theory, algebra, proof theory, and computer science.

Some particular problems I have been working on, or would be interested in working on again, include

My curriculum vitae, bibliography, and mathematical genealogy

My publications on line

Lobachevskii Journal of Mathematics

In March 2015, I became one of the editors for this journal established by the Russian Academy of Sciences and Kazan State University and distributed by Springer-Verlag.

Submissions in mathematical logic, especially in computability theory and its applications, can be sent directly to me by email at"> Before submission, be sure to consult the instructions on how to prepare your manuscript.

Professional Organizations

Research databases of interest to logicians

Job openings I happen to hear of

Information on special Ph. D. and Master's Programs in Logic

Summer Schools in Logic for Undergraduate and Graduate Students

ASL Committee on Translations

Our committee invites suggestions for books, monographs, and papers to be translated into and from English. The criteria for translation are high quality of material presented, lack of an equivalent text in the language to be translated into, and marketability of the translated text. We invite especially submissions from authors and from the advisors of theses.

If you are an author of a book that will appear soon (as a new book or in a revised edition), we encourage you to discuss with your publisher the option of retaining the copyright for your book in translation into other languages! This is best done before you sign the final contract. Of course, it is up to you, but you should keep this option in mind.

Please send your suggestions to one of the committee members: Zhaokuan Hao (Fudan University, Shanghai, China), Iskander Kalimullin (Kazan Federal University, Russia), Hiroakira Ono (Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan), Todor Tsankov (University of Lyon 1, France), Andrés Villaveces (Universidad Nacional de Colombia, Bogotá, Colombia), or me (">

Information for Russian-speaking Logicians

The ASL Committee on Translations offers a
Russian translation of Bruno Poizat's
"Cours de théorie des modèles" ("A Course in Model Theory")
for free download.

I also administer the program of the Association for Symbolic Logic (ASL) offering

free subscriptions to
the Journal of Symbolic Logic and the Bulletin of Symbolic Logic
to university libraries in the former Warsaw Pact countries
which are on the World Bank List of developing economies.

For more information about this program, click here for information in English or in Russian.

Home pages of some other logicians

(If the family name of a person is ambiguous (in my humble opinion), then it is listed below in all capital letters.)
Prepared by Steffen Lempp (">