Aaron Hunter
Primary tabs
Research Interests
- Computational Logic
- Cyber Security
- Belief Change
- Information Security
- Knowledge Representation
- Reasoning in Artificial Intelligence
Biography
Mastercard Chair in Digital Trust
Faculty, School of Computing
Aaron holds a Ph.D. In Computing Science from Simon Fraser University, where he studied formal aspect of Knowledge Representation. Aaron’s research interests lie at the intersection of Artificial Intelligence and Information Security. His NSERC-funded research focuses on formal models for reasoning under uncertainty, and the practical utility of these models for solving problems in security, network communication, and resource management. In addition to his academic research experience, Aaron also has a background in the private sector where he has worked as a software developer and an industrial research analyst.
Recent Citations for Aaron Hunter
- Trust as a precursor to belief revision
- Dynamic plan management in the context of a recognized air picture
- Modelling cryptographic protocols in a theory of action
- Belief modeling for maritime surveillance
- On keeping secrets: intelligent agents and the ethics of information hiding
- Arbitrary announcements in propositional belief revision
- Trust-sensitive belief revision
- Spectrum hierarchies and subdiagonal functions
- Adding modal operators to the action language A
- Limiting cases for spectrum closure results
- On the representation and verification of cryptographic protocols in a theory of action
- Iterated belief change due to actions and observations
- An action description language for iterated belief change
- An explicit model of belief change for cryptographic protocol verification
- Belief change and cryptographic protocol verification
- Belief manipulation and message meaning for protocol analysis
- Exploring power storage profiles for vehicle to grid systems
- Structured documents: signatures and deception
- Belief revision on modal accessibility relations
- Ranking functions for belief change: a uniform approach to belief revision and belief progression
Subscribe to Aaron Hunter RSS feed