Andrew W. Swan

Andrew Swan,
Department of Mathematics and Physics,
University of Ljubljana,
Slovenia

Email: wakelin.swan@gmail.com

Orcid: 0000-0002-7190-4870

Mastodon: @aws@mathstodon.xyz

I am currently working as a postdoc at the University of Ljubljana.

My research interests include realizability, constructive mathematics, constructive set theory, partial combinatory algebras, type theory, homotopy type theory, cubical sets, nominal sets.

Teaching

80-818 Seminar on topics in logic: Intuitionistic logic

Research

Recent preprints

Papers