John Boyland

John Boyland is a Professor in the Department of Computer Science at the University of Wisconsin-Milwaukee (UWM), within the College of Engineering & Applied Science. He focuses on enabling programmers to enhance software efficiency and safety through research in programming languages, compilers, concurrency, and logic. His work includes static analysis techniques for detecting complex programming errors and formal methods for concurrency control.

Education:

• PhD in Computer Science, University of California, Berkeley (1996)
• MS in Computer Science, University of California, Berkeley (1989)
• BS in Computer Science, University of California, Davis (1987)

Research Interests: Boyland’s research emphasizes fractional permissions for resource management, static checking of concurrency, and compiler design. He has contributed to frameworks like SASyLF and tools for formal verification of programming languages. His work bridges theory and practice, addressing challenges in software correctness and efficiency.

Publications: His recent work spans formal methods, concurrency control, and type systems. Notable themes include fractional permissions for concurrency safety, gradual typing, and compiler optimizations.

Awards:

• NSF CAREER Award (2000)
• Phi Beta Kappa (1987)
• Herbert A. Young Medal (1987)
• Putnam Math Competition Honorable Mention (1986)

Advising & Grants: Boyland has advised six student groups and received a prestigious NSF Career grant. He has also contributed to projects like Molhado, an architectural software configuration management system.