Aaron Bembenek
Research Fellow - AI-human Teams for Cybersecurity
School of Computing and Information Systems
Programming Languages
Formal Methods
Verification
Constraint Solving
Logic Programming
Datalog
46 information and computing sciences
4612 software engineering
4602 artificial intelligence