Björn Lellmann

HD 04 19
+43 (1) 58801 185184
On request
Project Assistant (Post-Doc)

I am a research assistant in the project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts. Until recently I was on parental leave, and before that 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. 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.









The article Wo die vifen Kerle forschen in the Austrian magazine FALTER contains bits of an interview with Agata Ciabattoni and myself (in German).

Programme committee memberships: VCLA International Student Awards 2018, LSFA 2017, VCLA International Student Awards 2015, LSFA 2016, Proof, Structure and Computation 2014.

Organising committee memberships: Second SYSMICS Workshop 2018, ALCOP 2016, LATD 2014, the latter of which was part of the Vienna Summer of Logic 2014.

During my time in London I was one of the organisers of the LogIC seminar. If you are in London I highly recommend going to their talks.

My profiles on Google Scolar,, ResearchGate, and publons.

My OrcID is 0000-0002-5335-1838.

Björn Lellmann, October 2017