We are ADA Logics

We believe security is a problem of many sorts that requires continuous nurturing in all three areas of research, education and maintenance, and that security is a shared responsibility which requires collaboration between these three domains in order to succeed.

ADA Logics combines expertise in the fields of program analysis, computer architectures, security and data science in order to help companies have educated staff, expertise and technologies available to protect their organisations.

ADA Logics is located in the heart of 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.