• If you are citizen of an European Union member nation, you may not use this service unless you are at least 16 years old.

  • Stop wasting time looking for files and revisions. Connect your Gmail, DriveDropbox, and Slack accounts and in less than 2 minutes, Dokkio will automatically organize all your file attachments. Learn more and claim your free account.



Page history last edited by PBworks 12 years, 11 months ago

Formal methods people


Dana N Xu - PhD student at Cambridge, working on ESC/Haskell

"Smerdyakov" - Adam Chlipala - author of papers such as: "A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language"

"rgrig" - Radu Grigore - PhD student here at UCD

"liyang" - Liyang Hu - PhD student at Nottingham, working on Software Transactional Memory

Katerina Barone-Adesi - undergraduate student at Universita della Svizzera Italiana





Lion Kimbro

Pablo Stafforini


Interesting people


(in order of addition to the list, newest first)


Conor Mcbride

Mattis Manzel

"Phillipa_" - Philippa Cowderoy


More to come later...

Comments (0)

You don't have permission to comment on this page.