Professor of Computer Science
|Research Areas:||Programming Languages, Computing Education, Networking, Security and Cryptography, Software Engineering, Formal Methods, Human-Computer Interaction|
He is a co-author of How to Design Programs and Programming and Programming Languages, and author of Programming Languages: Application and Interpretation.
He coordinates the Bootstrap computing outreach program.
He won SIGPLAN's Robin Milner Young Researcher Award, SIGSOFT's Influential Educator Award, SIGPLAN's Software Award (joinly), and Brown's Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education.
He has authored over a dozen papers recognized for honors by program committees. He has an honorary doctorate from the Università della Svizzera Italiana.