John Boyland

John Boyland

  • Professor, Computer Science

A California native, Dr. Boyland came to UWM because of his desire to both teach and do research. Dr. Boyland’s focus has been on enabling programmers to make their software more efficient by finding complex programming errors. He has been the faculty advisor for six student groups, and he was the recipient of a prestigious National Science Foundation Career grant.


  • PhD, University of California, Berkeley, 1996
  • MS, University of California, Berkeley, 1989
  • BS, University of California, Davis, 1987

Research Focus

  • Programming Languages
  • Compilers
  • Concurrency
  • Logic


  • John Boyland. Semantics of fractional permissions with nesting,  ACM Transactions on Programming Languages and Systems (TOPLAS), 32,  6 (August 2010), 35 pages.
  • John Boyland, William Retert and Yang Zhao.  Comprehending Annotations on  Object-Oriented Programs using Fractional Permissions. ECOOP 2009 Workshop on Aliasing, Confinement and Ownership, July 2009.
  • John Boyland. An Operational Semantics including ``Volatile'' for Safe Concurrency, / Journal of Object Technology, vol. 8, no. 4,  June 2009, pp. 33-53.
  • John Tang Boyland. Remote Attribute Grammars. Journal of the ACM}, 52, 4 (July 2005) 627--687.
  • John Boyland. Checking Interference with Fractional Permissions.  SAS 2003---Static Analysis: 10th International Symposium (San Diego, June 2003),  Volume 2694 of Lecture Notes in Computer Science, Springer Verlag, 2003, pages 55-72.

 Honors and Awards

  • Putnam Mathematics Competition, honorable mention, 1986
  • Phi Beta Kappa, 1987
  • Herbert A. Young Medal (U.C. Davis), 1987
  • NSF CAREER Award,  2000

Community Involvement

  • University Christian Ministries
  • Riverwest Food Pantry
  • WUWM
  • Congress for the New Urbanism, Wisconsin Chapter