Dana @liesnikov@types.pl

pronouns: he/they

name 🇺🇦: Богдан Лєсніков

website: https://github.com/liesnikov

Doing a PhD in type theory at TU Delft.

Joined Nov 2022

141 Following 71 Followers

Aron Zwaan @aron_zwaan@akademienl.social

Piratenpartij Delft @ppdelft@mastodon.pirateparty.be

aramya @aramya@wetdry.world

nebuchadnezzar @nebuchadnezzar@types.pl

Krishna Padmasola @placidex@types.pl

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

Tom de Jong @de_Jong_Tom@mathstodon.xyz

miles @mjj8@types.pl

Rahul Gopinath @rahul@gopinath.org

Justin Frank  @justinfrank@types.pl

Casper Bach Poulsen @casperbp@types.pl

jonoodle @ionchy@types.pl