Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
intelligence (XAI). This project will build on the methodology of formal explainable AI (FXAI) and aim at advancing FXAI technology and broadening its use by seeking (1) how to efficiently represent an AI system
-
Nowadays more and more intelligence software solutions emerge in our daily life, for example the face recognition, smart voice assitants, and autonomous vehicle. As a type of data-driven solutions
-
I supervise projects considering the evolution of accretion discs and their connection to observations. In particular, I consider discs that are warped or distorted (not flat). This geometry has been directly observed in planet forming discs around young stars (protoplanetary discs) and is...
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research
-
measurements in particle physics. Many of my projects are informed directly by current measurements, e.g. addressing new or unexpected features seen in the data. Others focus on improving the formal accuracy
-
principles of the Athena SWAN Charter . The Project We invite applications from outstanding PhD candidates with undergraduate or postgraduate qualifications in software/systems engineering, or computer science
-
alpha in state x then we end up in a state y which obeys formula psi”, and many more. The most common way to determine the true or false status of a given formula is to use the tableau method [1]. We have
-
Skip to main content Main Menu - Primary Home Projects Supervisors Expression of Interest Contact Automated software testing and debugging with/without LLMs Primary supervisor Yongqiang Tian Research
-
Maxwell King PhD Scholarship The Maxwell King Scholarship (MKS) is named after Professor Maxwell King, who has made an outstanding contribution to graduate research at Monash University, including
-
PhD Teaching Fellow - 3 positions available Job No.: 687572 Location: Clayton campus Employment Type: Part-time, fraction (0.1) Duration: 12 Months fixed-term appointment Remuneration: $83,280