PKCompany · founded 2011Praxis (United Kingdom)London, United Kingdom · praxismedicare.comFollowManage this pageCitations, last 5 years87Works, last 5 years7h-index25Scientists listed0Grants since 20161OverviewPeople 0Grants 1Departments 0Strongest research topicsLogic, programming, and type systems58Computer ScienceSoftware Engineering Techniques and Practices43Computer ScienceFormal Methods in Verification40Computer ScienceSafety Systems Engineering in Autonomy38EngineeringAdvanced Software Engineering Methodologies32Computer ScienceModel-Driven Software Engineering Techniques18Computer Science