Office: 5720

Office hours: Thrs. 10-12

Postal address

Division of Mathematics, Informatics and Mechanics Warsaw University

Banacha 2, 02-097 Warsaw, Poland

Email

tiuryn@mimuw.edu.pl

Main fields of interests

Formerly: type theory, lambda calculus, functional programming, logics of programs, computational power of programming languages, complexity issues in logic, finite model theory. Click here to access some of my papers.

Currently: computational molecular biology and bioinformatics. Here is our web page of the Lab of Computational Biology .

Current Teaching and Seminars (in Polish):

• Wyklad monograficzny "Wstep do biologii obliczeniowej"
• Seminarium magisterskie "Molekularna biologia obliczeniowa"
• Seminarium dla doktorantow "Matematyczne metody biologii"
• Seminarium srodowiskowe w ramach Centrum Zastosowan Matematyki Instytutu Matematycznego PAN "Obliczeniowa biologia"