Find a researcher

Find your prospective supervisor, research project or research group, collaborator or expert by searching UNSW Sydney Researcher Profiles. Use keywords to view their research interests, publications and areas of expertise.

Professor Ron Van der Meyden

Faculty: Engineering
Fields of Research (FoR): Theory of computation, Cybersecurity and privacy, Distributed systems and algorithms, Computational logic and formal languages
SEO tags:

Computer Software and Services

Keywords:

formal methods

formal software verification

blockchain

computer security

concurrency

distributed computing

automata theory

Professor Ron van der Meyden is from the School of Computer Science and Engineering. His research interests include:

Mr Zoltan Kocsis

Faculty: Engineering
Fields of Research (FoR): Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation

Current research activities Logical techniques for the verification of the seL4 Core Platform