Dr Ozgur Kafali

Personal profile

I work in the field of multi-agent systems (AI) with Dr Kostas Stathis. My research interests include automated reasoning with computational logic, e-commerce agents, contract-based systems, automated verification of privacy-based environments with model checking.

View all (28) »

ID: 6908046