You are here: J. L. KEEDY » Short Biography
Print this page

Short Biography

For a longer biography click here.

Professor Keedy was born and spent his childhood in Leeds, England. After leaving school he worked as a tax official in Leeds, Wakefield and Cardiff (where he was responsible inter alia for the tax assessments of the British Prime Minister).

From 1961 to 1964 he studied theology at King's College, University of London (awarded Bachelor of Divinity (Honours); Associate of King's College). After a postgraduate year (1964-65) as a World Council of Churches Scholar at the University of Mainz, West Germany, he returned to Trinity College, University of Oxford (1965), where he completed a Doctor of Philosophy in theology.

In 1968 he joined International Computers Ltd. in Kidsgrove as a maintenance programmer (System 4 J operating system). After a further period as a senior programmer and project leader (System 4 Multijob operating system), he became a Design Consultant and a member of the central design team for the new ICL 2900 Series VME operating system.

In 1974 he became a Lecturer (later Senior Lecturer) in the Department of Computer Science at Monash University in Melbourne, Australia, where he established the Monads Project. During his time at Monash he became an Australian citizen and he also completed a PhD in computer science.

In 1982 he became a full Professor of Operating Systems at the Technical University of Darmstadt in West Germany, and the first Director of its Institute of System Architecture.

In 1985 he returned to Australia as Foundation Professor of Computer Science at the University of Newcastle, N.S.W. where he established a new Department of Computer Science and introduced the first Bachelor of Computer Science degree in an Australian university.

In 1988 he returned for family reasons to Germany, where he became full Professor of Practical Computer Science at the University of Bremen.

Since1993 he holds the position of full Professor of Computer Structures at the University of Ulm, Germany. Since 1998 he also has an honorary appointment as Adjunct Professor in the Faculty of Information Technology, Monash University (Melbourne, Australia). He has recently started a new secure operating system project known as SPEEDOS.

For a longer biography click here.

Research Interests

  • Computer Architecture
  • Operating Systems
  • Software Engineering
  • Persistent Systems
  • Secure Systems
  • Object-oriented Language Design

Some of the research highlights in Prof. Keedy's career can be found by clicking here.

Teaching

  • Computer Architecture
  • Operating Systems
  • Software Engineering
  • Publications

The following is a selection of the most recent publications. For a longer publication list click here.

Keedy, J.L., Menger, G. and Heinlein, C. "Inheriting from a Common Abstract Ancestor in Timor," Journal of Object Technology (www.jot.fm), 2002, vol. 1, no. 1, pp. 81-106.

Keedy, J.L., Menger, G. and Heinlein, C. "Taking Information Hiding Seriously in an Object Oriented Context," Net.ObjectDays, Erfurt, Germany, 2003, pp. 51-65.

Keedy, J.L., Menger, G., Heinlein, C. and Henskens, F. "Qualifying Types Illustrated by Synchronisation Examples," in Objects, Components, Architectures, Services and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, vol. LNCS 2591, M. Aksit, M. Mezini, and R. Unland, Eds.: Springer, 2003, pp. 330-344, http://link.springer.de/link/service/series/0558/papers/2591/25910330.pdf.

Keedy, J.L., Espenlaub, K., Menger, G. and Heinlein, C. "Qualifying Types with Bracket Methods in Timor," Journal of Object Technology, vol. 3, no. 1, http://www. jot.fm/issues/issue_2004_01/article1, 2004, pp. 101-121.

Keedy, J.L., Heinlein, C. and G. Menger, G. "Reuse Variables: Reusing Code and State in Timor," 8th International Conference on Software Reuse, ICSR 2004, Madrid, 2004, Lecture Notes in Computer Science 3107, Springer Verlag, Berlin, pp. 205-214

Keedy, J.L., Menger, G. and Heinlein, C. "Inheriting Multiple and Repeated Parts in Timor," Journal of Object Technology (www.jot.fm), 2004, vol. 3, no. 10, pp. 99-120.

Keedy, J.L., Menger, G. and Heinlein, C. "Diamond Inheritance and Attribute Types in Timor," Journal of Object Technology (www.jot.fm), 2004, vol. 3, no. 10, pp. 121-142.

Keedy, J.L., Espenlaub, K., Menger, G., Heinlein, C. and Evered, M. "Statically Qualified Types in Timor," Journal of Object Technology, vol. 4, no. 5, to appear Sept/October 2005.

Keedy, J. L., Espenlaub, K., Menger, G. and Heinlein, C. "Call-out Bracket Methods in Timor," Journal of Object Technology, vol. 5, no. 1, to appear January/February 2006.

Keedy, J.L., Espenlaub, K., Heinlein, C., Menger, G., Henskens, F. and Hannaford, M. "Support for Object Oriented Transactions in Timor," Journal of Object Technology, to appear March/April 2006



^ Top