Björn Lellmann

Room:

Tel:

Available:

Mail:

Function:

I am a research assistant in the Theor and Logic Group (currently on parental leave). Until very recently I was a Marie Skłodowska-Curie Fellow here at the TU Wien in the PAnaMoL project. Before this I was a member of the START project: Non classical proofs: theory, applications and tools led by Agata Ciabattoni, and even further back I did my PhD with Dirk Pattinson in London. In general I am interested in all things connected to logic. At the moment I am working mainly on structural proof theory for modal and intermediate logics (see the official project description or the publications below). In particular I am looking into the connections between Hilbert-style axiomatisations and Gentzen-style sequent, hypersequent or nested sequent calculi, as well as the expressive strengths of different Gentzen-style frameworks.