• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Computer Sciences Lab

Computer Sciences Lab






Total Views
Views on SlideShare
Embed Views



0 Embeds 0

No embeds



Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
Post Comment
Edit your comment
  • For your info, the picture is one of SyDRe, a supply restoration system which locates faults in power distribution systems and reconfigure them appropriately. An example of this is show in the little "Restore" window, where SyDRe says there is a fault on line l6 and suggest a reconfiguration plan opening and closing some switches.

Computer Sciences Lab Computer Sciences Lab Presentation 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: Jussi.Rintanen@nicta.com.au
  • Model-Based Supervision of Composite Systems Composite systems : feature simple components organised into a highly reconfigurable architecture Examples : web & grid services, power and water systems telecom 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 systems Approach : draws on artificial intelligence (model-based diagnosis, planning), discrete- event systems, and model-checking Contact: Jussi.Rintanen@nicta.com.au
  • 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) Documents Video Molecules Microarrays Sensor Networks Mission Plans output(analysis) Authors, script People, scenes Biological function Cancer diagnosis Novelty, alarm Optimal strategy Magic happens … Contact: Wray.Buntine@nicta.com.au
  • Document Analysis
    • .
    • Build document similarity measure
    • Build fast discriminative optimiser (SVM style)
    • Integrate into mail filtering system (e.g. DSPAM)
    ab c$ b c$ c$ abc$ abc$ + = Spam filter Suffix tree Contact: Wray.Buntine@nicta.com.au
  • 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: Rajeev.Gore@rsise.anu.edu.au
  • 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: John.Slaney@anu.edu.au
  • 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: Michael.Norrish@nicta.com.au
  • Vision Science, Tech. & Applications Group
    • Major projects:
      • Spectral imaging
      • Smart cars
      • Medical image analysis
      • Surveillance
    Contact: Nick.Barnes@nicta.com.au
  • Smart Cars Pedestrian detection & tracking Speed sign detection & recognition Car detection & tracking A complete driver assistance system, focusing on driver safety Contact: Lars.Petersson@anu.edu.au
  • 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: Paulette.Lieby@nicta.com.au
  • 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: Marcus.Hutter@anu.edu.au
  • Finally …
    • These slides are at: http://www.hutter1.net/rsise/honours.ppt
    • Many other projects, for exmple in:
        • Traffic control [email_address]
        • Game playing [email_address]
        • Agent architectures [email_address]
        • Artificial AI, Trust [email_address]
        • Automated deduction [email_address] , [email_address] , [email_address]
        • Satisfiability [email_address] , [email_address] , [email_address]
        • Security protocol verification [email_address]
        • If you like theory [email_address]
    • Apply for a summer scholarship with us !