
Emeritus Professor Carroll Morgan
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Professor Carroll Morgan is professor in the School of Computer Science and Engineering.
Scientia Professor Toby Walsh
Faculty: Engineering
Fields of Research (FoR): Artificial Intelligence and Image Processing not elsewhere classified, Optimisation, Analysis of Algorithms and Complexity, Computational Logic and Formal Languages, Mathematical Logic and Formal Languages, Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
Faculty: Engineering
Fields of Research (FoR): Artificial Intelligence and Image Processing not elsewhere classified, Optimisation, Analysis of Algorithms and Complexity, Computational Logic and Formal Languages, Mathematical Logic and Formal Languages, Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
Toby Walsh is Laureate Fellow and Scientia Professor of Artificial Intelligence at the Department of Computer Science and Engineering at the University of New South Wales, research group leader at