
john Clements
Professor
John Clements specializes in Programming Languages, focusing on pedagogic environments, notional machines, and the use of formal methods and models in programming instruction. They are also interested in music and generative composition, functional programming, and the preservation of our democratic society and the Liberty for All that makes it meaningful.
- Programming Languages
- Functional Languages
- Notional Machines Pedagogic Programming Environments,
- Theorem Proving
- Type Systems Music
All education? Yikes.
Ph.D. in Computer Science at Northeastern University, Boston, MA
M.A. in Computer Science at Rice University, Houston, TX
A.B. (yeah it’s latin, “Ars Bacheloris” not “Bachelor of Arts”), Princeton University, Princeton, NJ
High School degree from San Francisco University High School, San Francisco, CA
Graduated from Marin Country Day School, Corte Madera, CA
Attended the Jewish Community Center preschool, San Francisco, CA