John Boyland

A California native, Dr. John 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.

Education

• 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

Publications

• John Tang Boyland. Evolution of SASyLF 2008-2021. 10th International Workshop on Theorem Proving Components for Educational Software, Electronic Proceedings in Theoretical Computer Science, vol. 354, pp. 87--107, 2022.
• John Boyland. Semantics of fractional permissions with nesting,  ACM Transactions on Programming Languages and Systems (TOPLAS), 32,  6 (August 2010), 35 pages.
• 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

• InterVarsity Christian Fellowship
• WUWM
• Congress for the New Urbanism, Wisconsin Chapter