Transcript Slide 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
Platform Technologies Research Institute
1
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
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
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
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)
Questions?