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
computer science