Research Information Session Associate Professor John Thornton Gold Coast BIT Honours Degree Convenor and Research Higher Degree Coordinator

John Thornton ICT Research at Griffith q Staff at the School of ICT are both active researchers as well as teachers q We have world-class concentrations of researchers in several key areas, for example: q Artificial Intelligence and Robotics q Complex Systems q Speech and Image Processing q The Institute for Integrated and Intelligent Systems (IIIS) Research Centre unifies our research groups and is regarded as one of the strongest ICT research concentrations in the Australian University system

John Thornton How You Can Get Involved q Do well at your studies! q Transfer to the BIT Advanced and get involved in supervised projects before you graduate q Take advantage of summer scholarships that enable to work on a range of research projects q Think about what you might like to research in the future and take courses that are relevant q Enrol in a 4 th year of Honours study at the end of your degree

John Thornton About the Honours Degree q Must have GPA of 5.0 (credit) or better for 2 nd and 3 rd year of Bachelor degree q One year full-time – 80CP made up of: q 40CP Dissertation q 10CP Research Methods in IT + 30CP electives  Up to one 3 rd year course  Rest must be honours level  Supervisor may run a special subject q Graded 1 st, 2.1, 2.2 or 3 rd class

John Thornton Choosing a Research Topic q Honours is about research training q Find a topic that interests you q Find a supervisor you can work with q Consider your future after honours  Entry into a more interesting job?  Research Higher Degree, e.g. PhD?  Career as an academic? q Your choice of topic and supervisor sets the direction of your future life – consider carefully – getting 1 st class also matters

John Thornton Financial Support q University values its research students q Your work and publications raise the university’s profile q Various School Scholarships:  Summer Project $2,000  Honours Scholarship $2,000 q Other sources:  IIIS, NICTA, Supervisor Funds  Tutoring opportunities

John Thornton After Honours q Honours equips you for entry into a PhD where you can spend 3 years researching (to your heart’s content) in a chosen area q From there you can pursue a career as a researcher or as an academic q During a PhD, if you have done well at honours, you can expect to gain a full scholarship (around $20,000 pa) and if you are an Australian resident then there are no fees q You can also expect to get part-time work teaching q Otherwise Honours equips you to enter the workforce at a higher level, with specialist knowledge and research skills

John Thornton Research with Dr John q Gold Coast Honours Convenor q Associate Director IIIS for Gold Coast q RHD Coordinator IIIS and ICT Gold Coast q NICTA researcher q Leader of Constraint Satisfaction and Hierarchical Temporal Memory research groups  8 PhD completions  1 MPhil, 2 Masters, 5 Honours completions

John Thornton What are Constraints? A constraint is a relationship over object(s) in the world. What is allowed? What is not allowed? Knowledge about broad range of real world domains can be easily expressed in terms of constraints

John Thornton Constraint Programming “Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it.” Eugene Freuder, Constraints, April, 1997.

John Thornton Constraint Satisfaction Given: q A set of variables q A set of permitted values for each variable q A set of constraints on subsets of variables Find: an assignment of values to variables such that all the constraints are satisfied.

John Thornton Example: Graph Colouring  Variables: geometric regions (e.g., all states in India)  Domain: available colours  Constraints: neighbours cannot have the same colour

John Thornton General Techniques q Problems are often NP-complete q Over-constrained q Two classes of technique:  Backtracking  Local search

John Thornton Eight Queen Problem Variable Constraint Domain

John Thornton Local Search Place 8 Queens randomly on the board Pick a Queen: Calculate cost of each move Take least cost move then try another Queen Answer Found

John Thornton Selected Results q Building Structure into Local Search for SAT  IJCAI’07 Distinguished Paper Award q Winner of SAT Competition Gold Medals  gNovelty+ (2007), R+AdaptNovelty+ (2005) q Temporal Reasoning  Local Search (JLC), New SAT encoding (CP’06) q Hybrid Search  Resolution + SLS (AAAI’05) q Evolving Algorithms for CSPs  Genetic programming (CEC’04, PRICAI’04)

John Thornton Research Challenges q Parameter free clause weighting local search ( for SAT competition ) q Exploiting structure ( dependency lattice ) q Local search method for UNSAT problems ( IJCAI’97 challenge problem ) q Methods for solving problems in non – CNF form ( bio-informatics, model checking ) q Handling over-constrained problems q Transforming complex problems into CSPs/SAT

John Thornton New Research Directions q Hierarchical Temporal Memory  Using insights from computational neuroscience to build more robust and flexible pattern recognition machines  Exploiting temporal connections between inputs (temporal pooling)  Combining recognition with prediction

John Thornton The Teams IIIS CSP/SAT: Abdul Sattar, Wayne Pullan, Duc Nghia Pham, Stuart Bain, Lingzhong Zhou, Matthew Beaumont, Valnir Ferreira Jr. Abdelraouf Ishtaiwi NICTA CSP/SAT : Michael Maher, Charles Gretton, John Slaney, Anbulagan IIIS HTM: Michael Blumenstein, Trevor Hine, Jolon Faichney, Richard Speter

John Thornton Thank You Questions? (also see