1. Platform Technologies Research Institute 1 Research Topics Software Engineering Discipline, School of CS & IT James Harland Discipline Head Distributed Software Engineering Architecture Heinz Schmidt, Ian Peake, Ian Thomas Human Informatics Modelling, Mobility, Data Visualisation Margaret Hamilton Educational Technologies and Innovative Learning Daryl D’Souza, Margaret Hamilton, James Harland Automated Reasoning, Agents, Busy Beavers James Harland, Astrid Bauers ‏

2. Distributed Software Engineering and Architecture Leader: Prof Heinz Schmidt, RMIT e-Research Director Theme: Architecture-based software engineering processes, methods and tools, leveraging mathematical methods and foundations, improving quality, trustworthiness, productivity and industrial practice Leadership, grants, collaborations, projects include (e.g.): Mälardalen U, Sweden: Adjunct Professor. PROGRESS real-time res. Centre. Member Artist 2 European excellence network, embedded systems design Honorary professorship Monash, continued collaboration in e-Research - distributed and grid systems in health and medical research ABB Corporate Research (Software Architecture: Reliability, Timing, Evolution) Germany (DECRC) 2003-7. India (INCRC) – Invited talk / ARCL 2012. Joint ARC projects with Monash, U Melbourne, QUT, Deakin ARCL: Intelligent Collaborative Care Mgmt – British Telecom, Monash Uni ARCL: Formal Context Analysis in Rapidly Evolving Knowledge Webs Advanced Manufacturing CRC, Multi-core Control Architecture, PhD scholarship EU FP7: Autonomic Service Component Ensembles (ASCENS), visiting researcher DAAD RISE-WW – Agile Architecture Refactoring summer studentship

3. Human Computer Interaction Transafe Can information regarding public perception on crime be used to promote and facilitate feelings of safety within the city? Virtual Conductor Yarra Trams – automatic passenger counting data Metlink – journey planner and evolutionary algorithm IBM – Intelligent Transport Systems Arup – a people business making a difference Transmesh Mobile phone use on trains Solar Blue: Are people prepared to download free ringtones, photos, movies, via bluetooth and share them? Data visualisation of real-time multi-modal public transport (ARC Linkage Application) Is there a way we can present the combined real-time visualisations to explain overall movement across the city? Margaret Hamilton 2011 3

4. Educational Technologies & Innovative Learning Assessment of student use of Web 2.0 tools (ALTC grant $168,000, 6 case studies at RMIT, 3 at Monash, 4 at Melbourne) A Shared, Applied Epistemology of Competency in Computer Programming (particularly taxonomy of `Programming 1 level’ exam questions, ALTC application with Monash, Newcastle, UTS, Sydney, QUT) Ville (visualisation tool, ongoing collaboration with Mikko-Jussi Laakso) Electronic tests and exams Online interactions between students Mobile and ubiquitous computing technologies in the classroom Probing the mind of the novice programmer E-books and e-platform technologies Laptop use in lectures

5. Automated Reasoning, Agents, Busy Beavers, … ARC DECRA application for Peter Chapman (University of Brighton, UK) to work on hypersequents implemented in Isabelle Reasoning about goals in agent systems (with John Thangarajah) Busy Beaver machines and Universal Turing machines Mine Clearance in Vietnam Data capture via Mobile Phones (YourSoftware, IBM, World Vision)

6. Questions?