John Boyland, Ph.D.

profile photo
, boyland@uwm.edu3200 North Cramer Street EMS 925
Electrical Engineering & 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.

Dr. Boyland is on sabbatical for the 2020-21 academic year.


  • Ph.D., University of California, Berkeley, 1996
  • M.S., University of California, Berkeley, 1989
  • B.S., University of California, Davis, 1987

 Research Focus:

  • Programming Languages
  • Compilers
  • Concurrency
  • Logic

 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


  • 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.

 Community Involvement:

  • University Christian Ministries
  • Milwaukee Chamber Orchestra
  • WUWM
  • Several  local libraries and museums