Andreas Nuyts

Postdoctoral researcher in type theory. This account is chiefly intended for academic purposes. Mastodon has 1 boolean (followership) to regulate two things: (1) Whether you see someone's posts in your feed, (2) Whether you can see someone's followers-only posts. Because of (2), I review follower requests. If you want to follow me and your profile contains little or no identifying information, please drop me a message (triple dot -> direct msg) to identify yourself, e.g. with some git account. Website: https://anuyts.github.io Institution: DistriNet, KU Leuven, Belgium E-mail: andreas dot nuyts at kuleuven dot be