Skip to main content

Main Menu - Primary

Home
Projects
Supervisors
Expression of Interest
Contact

Research projects in Information Technology

Error message

An illegal choice has been detected. Please contact the site administrator.

Search

Research area

Scholarship

No projects found.

Supervisor Connect

Supervisor Connect allows you to explore cutting-edge initiatives and find a leading researcher to oversee your project. With scholarship opportunities available, you can apply any time – and join our world-class research community.

Browse or search for projects and supervisors, read about our research strengths and initiate an application, all in one place.

Browse

Research projects
Supervisors
Login

Recently added

Formally Verified Automated Reasoning in Non-Classical Logics

Efficient CEGAR-tableaux for Non-classical Logics

Assured Neuro-symbolic Sequential Decision Making with Lipschitz Continuous Neural Networks

Assured Neuro-symbolic Sequential Decision Making with Physics Informed Neural Networks

Robust Neuro-symbolic Planning

Authorised by: Marketing, Faculty of IT, Monash University. Maintained by: Marketing, Faculty of IT.

Copyright © 2024 Monash University. ABN 12 377 614 012 Accessibility - Disclaimer and copyright - Privacy, Monash University CRICOS Provider Number: 00008C, Monash College CRICOS Provider Number: 01857J. Monash University is a registered higher education provider under the TEQSA Act 2011.

We acknowledge and pay respects to the Elders and Traditional Owners of the land on which our five Australian campuses stand. Information for Indigenous Australians