About Us
We are ADA Logics

ADA Logics combines expertise in the fields of program analysis and software security to help companies carry out research & development projects as well as upskill and educate staff in advanced software security areas.

ADA Logics is located in Oxford, United Kingdom and was founded by researchers from Oxford University and University of Copenhagen. Our staff comes from academia and industry labs, and we bring to the table a formidable knowledge of the core principles behind computer science, research and education.