Mark Evered
Senior Lecturer, School of Science and Technology
Qualifications
BSc(Monash), Dr-Ing(TH Darmstadt)
Contact
| Email: | markev@turing.une.edu.au |
| Room: | Maths and Computers (C26) 207 |
| Phone: | 02 6773 2307 (or +61 2 6773 2307 overseas) |
| Fax: | 02 6773 3312 |
| Homepage: | http://turing.une.edu.au/~markev |
Additional:
Course Coordinator for Computer Science
I studied Computer Science at Monash University where I became involved with the MONADS Project and developed an interest in programming language design and software engineering. I completed my doctorate at the Technical University of Darmstadt in Germany under the supervision of Prof. Leslie Keedy and continued teaching and research in Germany at the University of Bremen and the University of Ulm. As well as the semantics of object-oriented programming languages, my research interests have included operating system protection mechanisms and the implementation and specification of access control constraints for distributed and persistent systems. I have been a member of staff at the University of New England since 1999.
Research interests
My main areas of current research investigation are:
- object-based languages and systems,
- software engineering,
- persistent and distributed systems and
- access control specification and implementation
Teaching
- Operating Systems
- Human-Computer Interaction
- Object-oriented programming
Selected publications
Evered M., Requirements for an Object-based Specification Language for Minimal Access Constraints, submitted for publication, 2008.
Keedy J.L., Espenlaub K., Heinlein C., Menger G. and Evered M., Statically Qualified Types in Timor, Journal of Object Technology, Vol. 4, No. 7, 2005.
Evered M., Object and Access Evolution in Jarrah, Proc. Intl. Conf. on Programming Languages and Compilers, Las Vegas, 2005.
Evered M., Object-oriented Access Control in Jarrah, Journal of Object Technology, Vol. 4, No. 4, 2005.
Keedy J.L., Heinlein C., Menger G. and Evered M., Diamond Inheritance and Attribute Types in Timor, Journal of Object Technology, Vol. 3, No. 10, 2004.
Evered M. and Bögeholz S., A Case Study in Access Control Requirements for a Health Information System, Proc. Australasian Information Security Workshop, Dunedin, 2004.
Evered M., Flexible Enterprise Access Control with Object-oriented View Specifications, Proc. Australasian Information Security Workshop, Adelaide, 2003.
Evered M., Supporting Parameterised Roles with Object-based Access Control, Proc. 36th Hawaii International Conference on System Sciences, Waikoloa, 2003.
Evered M., Opsis: A Distributed Object Architecture Based on Bracket Capabilities, Proc. Conf. on Technology of Object-Oriented Languages and Systems, Sydney, 2002.
Evered M., Bracket Capabilities for Distributed Systems Security, Proc. 25th Australasian Computer Science Conference, Melbourne, 2002.