John Tang Boyland
|US Mail Address|
DEPARTMENT OF EECS P O BOX 784 UNIVERSITY OF WISCONSIN - MILWAUKEE MILWAUKEE WI 53201
My interests include object-oriented programming languages, attribute grammars, pattern matching, analysis of programming languages, type systems for programming languages, extensible languages and programming environments.
In particular, I am currently actively involved in two specific areas:
A copy of my CV is available.
I gave a summer school session at ECOOP. Slides (PDF) and handout (PDF -- formatted for A4) are available.
I have been collaborating with the Fluid project of William Scherlis. at CMU since 1998.
I am serving on / have served on the program committees of OOPSLA 2015, ECOOP 2015 (chair), ECOOP 2013, FOOL 2012 (chair), FTfJP 2012, ECOOP 2012, OOPSLA 2011 (ERC), FTfJP 2011, LDTA 2011, CATS 2011, SLE 2010, LDTA 2010, SLE 2009, OOPSLA 2009 ECOOP 2009, ESOP 2009, and many others earlier.
A listing of papers, articles and reports is available.
I have been using Twelf and have some experiences to report and library proofs to share.
I am a proponent of using AFS at UWM.
In Fall semester 2014, I am teaching two classes:
In previous semesters, I have taught:
If a student wishes to list me as a reference for employment, they need to sign an authorization form (latex source available too) giving me permission to disclose academic performance.
John Boyland grew up in rural Northern California and received his Bachelor's degree in 1987 in Mathematics and Computer Science at the University of California, Davis. He continued his studies at the University of California, Berkeley under the direction of S. L. Graham. He received his Masters and Doctorate in 1989 and 1996, respectively. He then worked for two years as a post-doctoral fellow with William L. Scherlis at Carnegie Mellon University. He joined the UWM faculty in the Fall of 1998, and was promoted in August 2004.
Last modified: September 26, firstname.lastname@example.org