Degree(s): 
H.B.S., Computer Science
Minor(s): 
English

 

After graduation, Alex will be taking some time off to write fiction. After that, he'll look for work as a software engineer, preferably in the realm of functional programming.

Thesis: Playing by the Rules: A Formal Specification of BoGL’s Loops and Type System