Jeffrey Kramer - Biography#

Professor Jeff Kramer, BSc (Eng), MSc, PhD, FREng, FCGI, FIET, FACM, FBCS, CITP

Google Scholar: Total citations: 17897
h-index: 60

Professor Kramer is Professor of Distributed at Imperial College London. He was Senior Dean from 2009 to 2012, Dean of the Faculty of Engineering from 2006 to 2009, Head of the Department of Computing from 1999 to 2004, and the Director of Studies from 1990 to 1995.

His research work is primarily concerned with software engineering, especially as applied to distributed computing. In addition, his research covers behaviour analysis, the use of models in requirements elaboration and architectural approaches to self-organising adaptive software systems. He was a principal investigator in the various research projects that led to the development of the CONIC and DARWIN environments for distributed programming and the associated research into software architectures and their analysis. The work on the Darwin Software Architecture led to its commercial use by Philips in their new generation of consumer television products.

Jeff Kramer is a Fellow of the Royal Academy of Engineering, a Chartered Engineer, Fellow of the IET, Fellow of the ACM, Fellow of the BCS and Fellow of the City and Guilds of London Institute. He was program co-chair of the 21st ICSE (International Conference on Software Engineering) in Los Angeles in 1999, Chair of the Steering Committee for ICSE from 2000 to 2002, and general co-chair of ICSE 2010 in Cape Town. He was associate editor and member of the editorial board of ACM TOSEM from 1995 to 2001 and of IEEE TSE from 2003 to 2005. He was appointed Editor in Chief of IEEE TSE from January 2006 to December 2009. He was awarded the IEE Informatics Premium prize for 1998/99 for a paper jointly authored by Prof. Magee on Software Architecture and in 2003 he received the Most Influential Paper Award at ICSE 2003. Together with Prof. Magee, he was awarded the 2005 ACM SIGSOFT Outstanding Research Award for significant and lasting research contributions to software engineering. In 2011 he was awarded the ACM SIGSOFT Distinguished Service Award in recognition of his significant and extensive service to the software engineering community. He has been on over 50 international conference committees in the last 10 years and has given numerous invited keynote talks at international conferences. He is co-author of a recent book on Concurrency, co-author of a previous book on Distributed Systems and Computer Networks, and the author of over 200 journal and conference publications. He has also worked with many industries, including BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft and Philips, in research collaboration and/or as a consultant, and acted as an expert witness for Denton, Hall, Burgin and Warren and for Covington and Burling.

CURRICULUM VITAE

Professor in Distributed Computing
Computing Department, Imperial College London.

Higher Education:

• 1967 - 1971 University of Natal, Durban
• B.Sc.(Eng.) cum laude in Electrical Engineering.
  
• 1971 - 1972 Imperial College, London.
  
• M.Sc. with Distinction in Computing Science.
  
• DIC (Diploma of Imperial College) in Computing Science.
  
• 1975 - 1979 Imperial College, London.
  
• Ph.D. in Computing Science, Faculty of Engineering.
  "The Design of Distributed Processing Systems using Stable Modules".

Membership of Professional Bodies:

• CITP since 1986.
  
• FIET since 1992.
  
• FACM since 2000.
  
• IEEE Computer Soc. since 1987.
  
• FBCS since 2005.
  
• FCGI since 2007.
  
• FREng since 2008

Awards

• 1995 South African Ernest Oppenheimer Memorial Trust - W D Wilson Visiting Fellowship for South Africa.
  
• 1999 IEE Informatics Premium prize for Software Architecture paper.
  
• 2000 ACM Fellow, Association for Computing Machinery, New York, 2000.
  
• 2003 Most Influential Paper Award at International Conference on Software Engineering (ICSE 2003) from the ICSE meeting of 10 years previously.
  
• 2005 ACM Special Interest Group on Software Engineering (ACM SIGSOFT) Outstanding Research Award (joint with Prof. Magee) for significant and lasting research contributions to software engineering (http://www.sigsoft.org/awards/outResAwd.htm.
  
• 2007 Awarded Fellowship of the City and Guilds of London Institute.
  
• 2008 Elected Fellow of the Royal Academy of Engineering
  
• 2011 Honorary Professor of University College London, in the Department of Computer Science
  
• 2011 ACM Special Interest Group on Software Engineering (ACM SIGSOFT) Distinguished Service Award in recognition of significant and extensive service to the software engineering community.
  
• 2012 ACM SIGSOFT Restospective Impact Paper Award for J. Magee and J. Kramer. Dynamic Structure in Software Architectures. In FSE 4: Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Best Paper awards:

• Kramer, J., and Cunningham, R.J., "Towards a Notation for the Functional Design of Distributed Processing Systems", (IEEE Int. Conf. on Parallel Processing, 1978), 69-76. Award for the Most Original Paper.
  
• A., Russo, R. Miller, A., Nuseibeh, B. and Kramer, J., “An abductive approach for analysing event-based requirements specifications”, (International Conference on Logic Programming Copenhagen, Denmark, July 29th - August 1st, 2002). Best Applications Paper Award.

Journal/Book Editorships

• 1995 –2001 Associate editor and member of the editorial board of ACM Transactions on Software Engineering and Methodology (TOSEM)
  
• 1995 – 1999 Member of the editorial board of IEEE Concurrency
  
• 2003 – 2005 Associate editor and member of the editorial board of IEEE Transactions on Software Engineering (IEEE TSE)
  
• 2006 - 2009 Editor-in-Chief of IEEE Transactions on Software Engineering (IEEE TSE)

Member of National and International Committees (last 10 years)

• Since 2004 Member of UK Computing Research Committee (UKCRC): to represent UK Computer Science Research to government and funding bodies.
  
• 2008 - Member of the International Academic Advisory Board (IAAB) for the CREST Centre for Research on Evolution, Search and Testing at King's College London.
  
• 2009 - Member of the Advisory Board for ERC Senior Grant Project of Prof Ghezzi, Politecnico Milano.
  
• 2009 - 2013 Member of the International Advisory Board (IAB) for the National Institute of Informatics, Tokyo, Japan.
  
• 2010 - Member of the Royal Academy of Engineering Steering Group – Industrial Secondment Scheme, UK.
  
• 2010 - Member of the International Board of Directors for the Council for Frontiers of Knowledge,Kampala, Uganda.
  
• 2010 - Member of the UKCRC (UK Computing Research Committee) Membership Committee.
  
• 2011 - 2012 Member of the Award Committee for the Informatics Europe 2011 Curriculum Best Practices Award in parallelism and concurrency.
  
• 2012 - 2014 Convenor of the Computer Science/Information Technology Panel in the Hong Kong UGC Research Assessment Exercise (RAE) for 2014.
  
• 2014 Expert Panel Member for EU ERC Starting Grants for Computer Science.
  
• 2015 - Member of the International Advisory Board (IAB) for the joint SUTD-MIT International Design Centre (IDC) of SUTD Singapore and MIT, USA

Invited Keynote Speaker (last 10 years)

2015

• Invited keynote for the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Florence,, May 2015.

2012

• Invited keynote for the 34th IEEE/ACM International Conference on Software Engineering (ICSE 2012), Zurich, June 2012.
  
• Invited keynote for the 19th IEEE/ACM Asia-Pacific Conference on Software Engineering (APSEC 2012), Hong Kong,, Decamber 2012.

2010

• Invited keynote speaker for the 2nd International GRACE Conference, NII, Tokyo, March 2010.

2009

• Invited keynote speaker for the 2nd International Conference on Teaching Formal Methods (TFM 2009), Eindhoven, November 2009.
  

2008

• Invited keynote speaker for the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, October 2008.
  

2006

• Invited keynote speaker for the 6th IEEE International Conference on Quality Software (QSIC 2006), Beijing, China on 26-28 October 2006.
  
• Invited keynote speaker for the ACM International Symposium on Software Testing and Analysis (ISSTA ’06), Portland, Maine, July 2006.
  
• Invited keynote at IEEE DSGrid2006 Workshop, Distributed Simulation on the Grid, CCGrid Singapore, May 2006
  
• Invited international speaker at 3rd IFIP TC2 Summer School, Gordon’s Bay, South Africa, January, 2006.

2005

• Invited keynote at the ESEC-FSE 2005, the Joint 10th European Software Engineering Conference and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September, 2005.

2004

• Invited keynote at the JSSST (Japan Society for Software Science and Technology) conference, Tokyo, 15 September 2004.
  

Publications

Over 200 refereed publications in conferences and journals, including two books:

Sloman, M.S., and Kramer,J.,
"Distributed Systems and Computer Networks"

(Prof. C.A.R.Hoare Series, Prentice Hall Int., England), Nov. 1986, 336 pages.
(The book was translated into Japanese and German)

Magee, J. and Kramer, J.,
"Concurrency: State Models & Java Programs",
John Wiley & Sons (Worldwide Series in Computer Science), March 1999, 355 pages.
(2nd Edition, April 2006, 413 pages)