Bohdan Liesnikov
@phittacus
I moved to mastodon, new profile at types.pl/@liesnikov
----
doing a phd in type theory @tudelft.
Богдан Лєсніков 🇺🇦
I also go by Dana.
he/they.
ID: 624464380
http://bohdan.liesnikov.name 02-07-2012 07:40:08
134 Tweet
89 Followers
362 Following
Today at @[email protected]: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”. Supervised by @agdakx & Bohdan Liesnikov. Committee: Wouter Swierstra & yt
