Skip to content

Undergraduate Research Opportunities

Department of Computer Science, Royal Holloway, University of London

Undergraduate Research Opportunities

Tag: logic

A Cyclic Prover for Propositional Dynamic Logic (available)

Propositional Dynamic Logic (PDL) [1] is a logic in which abstract properties about the behaviour of programs can be expressed, in a very general way. Because of its generality it is suitable for checking the behaviour or a wide range of programs and systems, via model checking. PDL is what is known as a modal … full description “A Cyclic Prover for Propositional Dynamic Logic (available)”

Author Reuben RoweCategories Logic, Software Engineering, VerificationTags automated theorem proving, cyclic proof, functional programming, logic, OCaml

Information

  • What is UROP?
  • How to Apply
  • Available projects
  • Ongoing projects
  • Completed projects

Research Areas

  • Algorithms
  • Artificial Intelligence
  • Bioinformatics
  • Blockchain Technologies
  • Compliance and Auditing
  • Cryptography
  • Cyber-Physical Systems
  • Data Science
  • Distributed Systems
  • Logic
  • Low Level Programming (Firmware)
  • Machine Learning
  • Physics
  • Programming Languages
  • Quantum Computing
  • Security Behaviours
  • Software Engineering
  • System Forensics
  • Systems Security
  • Uncategorized
  • User and Data Privacy
  • Verification

For Supervisors

  • Instructions
  • Manage Projects
Undergraduate Research Opportunities Proudly powered by WordPress