Theoretische Informatik


Tadeusz's teaching, activities and research

Contact details

See my original webpage/online business card for these. Go there if you find the picture on the right confusing.

Besides, here is my CV, if you need it for whatever reason. And here is my publication list, most of the time up-to-date.

Recent projects and publications

Essential information about my recent work, especially in the period 2014 to mid-2018, can be found in this overview.

All my publications, including earlier ones, can be found here. Moreover, Google Scholar is also quite good at being up-to-date, whatever one thinks of Google. Other aggregators, scientific networks, DBLP etc. are suboptimal. Finally, as it seems that quite a few of my papers are available on researchgate, Academia.edu etc.: I am not actively maintaining accounts on such portals.


I have been a PC member of RAMiCS 2018, AIRIM'18, WoC 2015, RAMiCS 2014, AiML 2012 and TACL 2011.

I have been an invited speaker at SYSMiCS 2018 workshop and ILLC 2018 Workshop on algebra and duality in non-classical logic, a keynote speaker at ALCOP 2015 (and a speaker at several other editions), an invited speaker at OAL2.0 (2011) and a guest lecturer at several graduate and summer schools (see below for the last item). Besides, I have been a semi-regular invitee of the International Workshop on Topological Methods in Logic, including the second, the third, the fifth and the sixth edition. The fifth edition in 2016 included my tutorial on Dialogues, Proofs and Programs. Finally, I gave something of a tutorial at the Logics for Social Behaviour workshop, Lorentz Center 2014.


At any moment, I am open towards supervision of FAU students, be it Bachelor or Master level. Please see our project webpage for some proposals and do talk to me also if you have other ideas.

I am regularly responsible for:

My irregular offerings so far:

My previous teaching activities elsewhere include:

  • Teaching the course Generative Development at the CS Department, University of Leicester in 2012. This was a one-off to help the department in an emergency situation. My help for the department included also individual BSc and MSc supervision and moderation (supervision) of a number of projects in their Personal and Group skills module. Some were fun.
  • Occasional self-designed courses at summer schools or PhD schools. Examples so far include Provability, fixed points and clock ticks (4 hrs) at the Midlands Graduate School (MGS 2012), Birmingham or Queries, Modalities, Relations, Trees, XPath (15 hrs) at the Summer School Leicester-JXNU 2010, Jangxi Normal University, Nanchang, China.

Office hours

Just contact me by email.

Coauthors and teachers

And besides...

Do read these remarks on "the threat from within" to academia by John Etchemendy, an accomplished logician and Stanford's longest-serving provost (2000-2017).

Please also read this advice from professors of Princeton, Harvard and Yale.

Finally, here's how I look like, in reverse chronological order: ja2lis2017.jpeg photo_california.jpg perhaps_not_freiling1.jpg P1100667_me.jpg