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

View
 

People

Page history last edited by PBworks 12 years, 1 month 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

 

Friends

 

Autumn

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.