"Theoria cum Praxi" |
Markus LumpeFaculty of Information & Communication TechnologiesSwinburne University of Technology PO Box 218 Hawthorn, VIC 3122 AUSTRALIA Phone: +61 3 9214 5272, Fax: +61 3 9219 0823 Email: mlumpe @ ict.swin.edu.au Office: EN 508c |
[Research] [Events] [Past Events] [Courses] [Publications]
I am a Senior Lecturer at the Faculty of Information & Communication Technologies at Swinburne University of Technology.
|
My major research interests are in programming languages, modern
compiler construction, and component technology. Within these
areas, I am focusing on foundations like type systems, behavioral
equivalence theories, distribution and localization of components
and processes. In addition, I am very much interested in
applications aspects like the modeling of compositional
abstractions, component repositories, and the specification of
functional and non-functional properties of components. My primary
long-term goal is the development of a robust formal model to
specify applications as composition of distributed components.
I am currently working on the extension of C# with the classbox model, "An Open-Ended Language Approach for Software Composition", and XMLScheme, a small educational language to study the design and semantics of programming languages. Additionally, I have an active interest in the development of modern compiler techniques and programming languages. My interests focus on (i) the definition of an object- or component-oriented framework for defining any kind of language processors, (ii) the definition of framework to map any source language to the Java virtual machine, and (iii) the definition of new higher-level programming abstractions and idioms. |
| TBA |