Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.
Laurent Vanbever @[email protected]
Professor @ ETH Zürich. Head of nsg.ee.ethz.ch. Trying to make the Internet better, one pipe at a time. Starting to experiment with Mastodon/ActivityPub. I'm also on Twitter: twitter.com/lvanbever