Computer Science

Contact Information

Fuller Laboratories, 136
Phone: +1-508-831-5621

View Personal Website

Daniel J. Dougherty

The common thread running through my teaching and research is the use of mathematical methods---especially methods based on logic---in designing and building systems. Interesting systems are too complex to be understood by informal intuitions, and it can be very powerful to use formal tools to help understand whether the system we are actually building really fulfills our ideas about what it is supposed to do. Tools based on logic can help people build things in a way guided by specification, and indeed they can help people arrive at the right formal specification in the first place. My recent research applies these ideas to software security and reliability and in databases. In my undergraduate and graduate teaching I stress these ideas, and I also like to place special emphasis on presenting ideas carefully and clearly. The absolute best way to understand something is to explain it to someone else: this goes for teachers and students alike!

Research Interests

  • Logic
  • Security
  • Software


  • BS University of Maryland 1974
  • PhD University of Maryland 1982

Featured Publications

  • Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. Toward a More Complete Alloy. ABZ 2012, to appear.
  • Mo Liu, Elke A. Rundensteiner, Daniel J. Dougherty, Chetan Gupta, Song Wang, Ismail Ari, and Abhay Mehta. Highperformance nested CEP query processing over event streams. In Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, pages 123-134, 2011
  • Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. The Margrave tool for firewall analysis. In Proceedings of the 24th USENIX Large Installation System Administration Conference (LISA 2010), 2010.
  • Daniel J. Dougherty and Luigi Liquori. Logic and computation in a lambda calculus with intersection and union types. In Proc. 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2010
  • Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. Towards an operational semantics for Alloy. In Proc. 16th International Symposium on Formal Methods, pages 483-498, 2009.

View a Complete List 

  • Email a Friend
  • Bookmark this Page
  • Share this Page