dvanhorn (David Van Horn) | Keybase

Experimental: 💥 Slack to Keybase team import 💥

dvanhorn

David Van Horn

CS Prof at U Maryland

Washington, DC

PGP Encrypt

8544A9947647103C

lambda_calculus tweet

PGP Encrypt

Following (8)

	jbclements John Clements
	bford Bryan Ford
	awruef Andrew Ruef
	piotrm Piotr Mardziel
	mflatt Matthew Flatt
	lindsey Lindsey Kuper
	sstrickl Teagan Strickland
	samth Sam Tobin-Hochstadt

Followers (37)

	moyix Brendan Dolan-Gavitt
	mgoelzer Mike Goelzer
	kwf Kenny Foner
	self Faried Nawaz
	davidad David Allen Dalrymple
	The_RainMaker The Rain Maker )
	rojikku
	dudnik Nek
	xuanruiqi Xuanrui Ray Qi
	jim17 jimmy

Browse others (14)

mdkail
mike d. kail

LadyRedPatriot
Lady Red Patriot

scoates
Sean Coates

Skypilot3764

StefanKarpinski
Stefan Karpinski

pydanny
Daniel Greenfeld

clochix
Clochix

justintroutman
Justin Troutman

copiousfreetime
Jeremy Hinegardner

qxjit
David Vollbracht

davidevaghetti
Davide Vaghetti

maber
Travis Mehlinger

ahmadnassri
Ahmad Nassri

ayoubd
Danny Ayoub

What the heck is Keybase?

also available: other platforms

Keybase is an open source app

Keybase comes with everything you need to manage your identity, create secure chats, and share files privately. It's free.

It's fun too.

Over 100,000 people have joined Keybase so far to prove their identities, and it's growing rapidly.

Please send us feedback & bug reports.

Keybase, 2019 | read our blog | terms & privacy

HEY GET A JOB! /HEY