About Hemanth

Principal Software Engineer at Microsoft.

System Architecture, formal verification, theorem proving.

Creator of Agdventures—an ongoing experiment in proving classic algorithms in Agda.

Treating video generation as an experiment in Literate Programming v2.

#FormalVerification #PLT #Agda

Lists

Timeline

iteratee has no activity yet