Computer Sciences Lab & NICTA Opportunities for Honours projects 2009 Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)
Computer Sciences Lab & NICTA Opportunities for Honours projects 2009 Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)
Mar 27, 2015
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Computer Sciences Lab & NICTA
Opportunities for Honours projects 2009
Marcus Hutter (adapted from and thanks to Sylvie Thiebaux)
College of Engineering & Computer Science (& Friends)
DCS
DEng
CSL
InfoEng
NICTA
Research Groups
• Research focuses on:– Artificial Intelligence– Machine Learning– Logic & Automated Reasoning– Computer Vision
• 40 researchers in 4 groups:– Diagnosis, Planning, & Optimisation (DPO, aka KRR)– Statistical Machine Learning (SML)– Logic & Computation (LC)– Vision Science, Technology & Applications (VISTA)
Diagnosis, Planning & Optimisation Group
• Diagnosis– Explain abnormal situations from observations– Circuits, power networks, web services, humans
• Planning– Decide & schedule the tasks to be undertaken
to meet given objectives
– Project planning, military operations planning, robot control, solving puzzles & games
• Optimisation– Find the best possible solution to a problem– How can we predict the hardness of optimisation problems?
Contact: [email protected]
Model-Based Supervision of Composite Systems
Composite systems: feature simple components organised into ahighly reconfigurable architecture
Examples: web & grid services, power and water systemstelecom networks, traffic control systems
Supervision tools: confer the ability to– self-diagnose to detect faults in
the system and explain their causes
– self-reconfigure to restore or improve service
Project goals: develop theories, algorithms & tools for the supervision of composite systemsApproach: draws on artificial intelligence(model-based diagnosis, planning), discrete-event systems, and model-checking
Contact: [email protected]
Statistical Machine Learning Group
• Machine Learning automates the input-output mapping.
• Lots of fun projects for analysing data.Let us do both theory and application
input(data)DocumentsVideoMoleculesMicroarraysSensor NetworksMission Plans
output(analysis)Authors, scriptPeople, scenesBiological functionCancer diagnosisNovelty, alarmOptimal strategy
Magic happens …
Contact: [email protected]
Document Analysis
abc$
b
c$c$abc$ abc$
+.
• Build document similarity measure• Build fast discriminative optimiser (SVM style)• Integrate into mail filtering system (e.g. DSPAM)
= Spam filter
Suffix tree
Contact: [email protected]
Logic and Computation Group
• Logical analysis of systems– Assure correctness, safety, robustness– Software systems (are votes counted okay?)
– Physical systems (will the robot arm break?)
– Trust and Security (can I trust this eBay seller?)
• Tools for reasoning by computers– Logical deduction: “Does it follow?”– Constraint satisfaction: “How might it be?”
• Theory behind all this– New kinds of logic for new tasks
Contact: [email protected]
Constraint Satisfaction Platform (G12)
• Constraint Satisfaction Problem– “Hard” constraints - e.g. every
team plays every other at home and away
– “Soft” constraints - e.g. fairness conditions (may be complex)
– Additional requirements from TV stations, etc. complicate further
• Difficult computational problem Contact:
L4 Verified
L4 Micro-kernel
L4 operating system used in embedded systems
e.g. sensor networks, mobile phones
“Small” trusted kernel (guarantees separation properties)
NICTA project: formally verify the kernel
Project runs until 2008
One of the most ambitious formal verification projects ever undertaken anywhere
Commercial potential if successful
Contact: [email protected]
Vision Science, Tech. & Applications Group
• Major projects:– Spectral imaging– Smart cars– Medical image analysis– Surveillance
Contact: [email protected]
Smart Cars
Pedestrian detection & tracking
Speed sign detection & recognition
Car detection & tracking
A complete driver assistance system, focusing on driver safety
Contact: [email protected]
Automatic Anatomical Structure Extraction
Topology repair Parametrisation
Detection of Alzheimer’s disease
- changes to hyppocampus implicated- doctors hand-trace each scan slice- obtain a math. representation for analysis- need to repair and parametrise the 3D data
Contact: [email protected]
Artificial Intelligence
Universal Artificial Intelligence = =Decision Theory = Probability + Utility Theory + +Universal Induction = Ockham + Bayes + Turing
• Information-theoretic,• Statistical, and• Philosophical,• Foundations of• Artificial Intelligence
Contact: [email protected]
Finally …
• These slides are at: http://www.hutter1.net/rsise/honours.ppt
• Many other projects, for exmple in:
• Traffic control [email protected]
• Game playing [email protected]
• Agent architectures [email protected]
• Artificial AI, Trust [email protected]
• Automated deduction [email protected], [email protected], [email protected]
• Satisfiability [email protected], [email protected], [email protected]
• Security protocol verification [email protected]
• If you like theory [email protected]
Apply for a summer scholarship with us !
Related Documents
