url(img/ts.png) top center no-repeat;

William L. Harrison, Ph.D

Director, MU Center for High Assurance Computing
Associate Professor of Computer Science

318 Engineering Building North
University of Missouri
Columbia, MO 65209
573 884 2436

Research Interests: Computer and information security, malware analysis, programming languages, and formal methods.

Biographical information

     Recipient: NSF CAREER Award 2008 (CyberTrust program)
     Assistant Professor of Computer Science at MU since September 2003
     Post-doctoral Researcher at Oregon Graduate Institute from June 2000 until August 2003
     Visiting Lecturer (Computer Science), Indiana University, September 1999-May 2000
     Ph.D (Computer Science), University of Illinois at Urbana-Champaign 2001
     M.S. (Computer Science), University of California at Davis, August, 1992
     B.A. (Mathematics), University of California at Berkeley, May 1986

Selected Publications

(all publications)

[1] William L. Harrison, Adam Procter and Gerard Allwein. The confinement problem in the presence of faults. In Proceedings of the 2012 International Conference on Formal Engineering Methods, 2012. [ bib | .pdf ]
[2] Chris Hathhorn, Michela Becchi, William L. Harrison and Adam Procter. Formal semantics of heterogeneous cuda-c: A modular approach with applications. In Proceedings of the 2012 Systems Software Verification Conference, 2012. [ bib | .pdf ]
[3] Gerard Allwein, William L. Harrison and David Andrews. Simulation logic. In Proceedings of the 2012 Conference on Non-Classical Logics, 2012. [ bib | .pdf ]
[4] Adam Procter, William L. Harrison and Aaron Stump. The design of a practical proof checker for a lazy functional language. In Proceedings of the 2012 Trends in Functional Programming Conference (to appear), 2012. [ bib | .pdf ]
[1] Gerard Allwein and William L. Harrison. A channel theoretic account of separation security. In Proceedings of the 2011 International Conference on Engineering Reconfigurable Systems and Algorithms (ERSA11), 2011. [ bib | .pdf ]
[2] William L. Harrison, Benjamin Schulz, Adam Procter, Andrew Lukefahr, and Gerard Allwein. Towards semantics-directed system design and synthesis. In Proceedings of the 2011 International Conference on Engineering Reconfigurable Systems and Algorithms (ERSA11), 2011. [ bib | .pdf ]
[3] Gerard Allwein, Yingrui Yang, and William L. Harrison. Qualitative decision theory via channel theory. Logic and Logical Philosophy, pages 81-110, 2011. [ bib | .pdf ]
[4] Gerard Allwein and William L. Harrison. Partially-ordered modalities. In Advances in Modal Logic, pages 1-21, 2010. [ bib | .pdf ]
[5] W. Harrison, A. Procter, J. Agron, G. Kimmel, and G. Allwein. Model-driven engineering from modular monadic semantics: Implementation techniques targeting hardware and software. In DSL '09: Proc. of the IFIP TC 2 Working Conference on Domain-Specific Languages, pages 20-44, 2009. [ bib | .pdf ]
[6] William L. Harrison and James Hook. Achieving information flow security through monadic control of effects. J. Comput. Secur., 17:599-653, October 2009. [ bib | .pdf ]
[7] William L. Harrison, Gerard Allwein, Andy Gill, and Adam Procter. Asynchronous exceptions as an effect. In Proceedings of the Mathematics of Program Construction (MPC08), pages 153-176, 2008. [ bib | .pdf ]
[8] Pericles S. Kariotis, Adam M. Procter, and William L. Harrison. Making monads first-class with template haskell. In Proceedings of the first ACM SIGPLAN Symposium on Haskell, Haskell '08, pages 99-110, New York, NY, USA, 2008. ACM. [ bib | .pdf ]
[9] William L. Harrison. The essence of multitasking. In 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006), pages 158-172, July 2006. [ bib | .pdf ]
[10] William L. Harrison and Richard B. Kieburtz. The logic of demand in Haskell. Journal of Functional Programming, 15(6):837-891, 2005. [ bib | .pdf ]
[11] William Harrison. A simple semantics for polymorphic recursion. In Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS05), pages 37-51, Tsukuba, Japan, November 2005. [ bib | .pdf ]