Aaron D. Jaggard email: adj || dimacs | rutgers | edu

I'm currently in the Formal Methods Section of the Center for High Assurance Computer Systems at the Naval Research Laboratory. email: firstname.lastname || nrl | navy | mil

---

• Current and Recent Activities
  • I'm on the program committee for the Future Internet Services and Applications (FISA) track of IEEE WETICE 2015; papers are due February 13, 2015.
  • I was on the program committee for the Communications and Information Systems Security Symposium (CISS) that is part of the 2015 IEEE International Conference on Communications (ICC).
  • I gave one of the invited talks at the 11th Annual Conference on Theory and Applications of Models of Computation (TAMC 2014).
  • I was one of the co-organizers of the Accountability: Science, Technology and Policy workshop at MIT (Jan. 29-30, 2014).
  • I'm involved with the VCTAL project at DIMACS (writing curriculum modules on computational thinking).
  • I'm on the editorial board for the PS-Future curriculum-development project at DIMACS.
• Research
  • Developing and using models for trustworthy computing: I work to capture real-world problems with abstract models that are amenable to formal reasoning, and I use these types of models to answer questions about trustworthy computing. This includes the study of problems in security, accountability, privacy, and the reliability of distributed dynamics. It draws on tools from formal methods, game theory, distributed computing, and discrete mathematics.
    • See the project pages for my current and recent NSF awards on:
      • Accountability and Identifiability
      • Distributed Computing with Adaptive Heuristics
    • See papers on: security | privacy and accountability | routing
  • All publications organized by: Topic | Year | Type
  • List of all funded projects
• Teaching
  • Colgate
    • Topics in Computer Security (COSC 480 A, Fall 2011)
    • Introduction to Computing II (COSC 102, Fall 2010, Spring 2011)
    • Introduction to Computing I (COSC 101, Fall 2010, Spring 2011, Fall 2011, Spring 2012)
  • Rutgers
    • Advanced Algorithms : Topics in Game Theory (16:198:514, Co-taught with S. Muthukrishnan and MohammadTaghi Hajiaghayi, Spring 2009)
  • Tulane
    • Algorithms & Complexity (Math 326, Spring 2007)
    • Real Analysis (Math 305/605, Fall 2006)
    • Calculus II (Math 122, Lagniappe 2006)
    • Algebra I (Math 711, Spring 2006)
    • Algebraic Combinatorics (Math 771, Spring 2005)
    • Real Analysis (Math 305/605, Fall 2004)
    • Combinatorics (Math 320, Spring 2004)
    • Discrete Mathematics (Math 217, Fall 2003)
• A little bit about me