Imperial College London

Emeritus ProfessorSusanEisenbach

Faculty of EngineeringDepartment of Computing

Emeritus Professor of Computing



s.eisenbach Website




Huxley BuildingSouth Kensington Campus





Susan Eisenbach was at Imperial from September 1983 until July 2020. She was Head of the Department of Computing from January 2010 until September 2016, a position she was honoured to hold. Prior to that sheI held a college post as Dean of Learning and Teaching. Prior to that she was Director of Studies in the Department of Computing for 15 years, with overall responsibility for all of Computing’s teaching provision.

Susan has a great interest in how we can produce good software systems and this pervades both her views on what should be taught at undergraduate and postgraduate level and her research. Her current research interests are in how we can produce smart contracts  for the blockchain that behave correctly and specification languages for large open systems. Both strands of research have available software systems from github.

Selected Publications

Journal Articles

Eisenbach, S., Sadler, et al., 2007, Reuse and abuse, Journal of Object Technology, Vol:6, ISSN:1660-1769, Pages:139-167

Radestock M, Eisenbach S, 2003, Coordinating components in middleware systems, Concurrency and Computation-Practice & Experience, Vol:15, ISSN:1532-0626, Pages:1205-1231

Drossopoulou S, Eisenbach S, Khurshid S, 1999, The Java Type System is Sound, Theory and Practice of Object Systems, Pages:3-24

Drossopoulou S, Eisenbach S, Khurshid S, 1999, Is the Java type system sound?, Theory and Practice of Object Systems, Vol:5, ISSN:1074-3227, Pages:3-24

Drossopoulou S, Wragg D, Eisenbach S, 1998, What is Java binary compatibility?, ACM Sigplan Notices, Vol:33, ISSN:0362-1340, Pages:341-361


Sonnex W, Drossopoulou S, Eisenbach S, 2012, Zeno: An automated prover for properties of recursive data structures, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer Berlin Heidelberg, Pages:407-421, ISSN:0302-9743

Gudka K, Harris T, Eisenbach S, 2012, Lock Inference in the Presence of Large Libraries, European Conference on Object-Oriented Programming, Springer, Pages:308-332, ISSN:0302-9743

Allwood T, Cadar C, Eisenbach S, 2011, High Coverage Testing of Haskell Programs, International Symposium on Software Testing and Analysis, ACM, Pages:375-385

Drossopoulou S, Eisenbach S, Cunningham D, 2008, Lock Inference Proven Correct, FTfJP, Pages:24-35

Cunningham D, Gudka K, Eisenbach S, 2008, Keep off the grass: Locking the right path for atomicity, 17th International Conference on Compiler Construction 2008, SPRINGER-VERLAG BERLIN, Pages:276-290, ISSN:0302-9743

Phillips, A., Yoshida, N., Eisenbach, S., 2004, A distributed abstract machine for boxed ambient calculi, 13th European symposium on programming (ESOP 2004), Barcelona, Spain, Springer-Verlag, Berlin, Pages:155-170

Drossopoulou, S., Lagorio, G., Eisenbach, S., 2003, Flexible models for dynamic linking, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Springer-Verlag, Berlin, Pages:38-53

Wyer, M., Eisenbach, S., 2001, Lexis EXam invigilation system (Awarded best applied paper), LISA, Usenix, 15th systems administration conference,, USENIX Association, Pages:199-210

Drossopoulou, S., Eisenbach, S., Wragg, D., 1999, A Fragment Calculus towards a model of Separate Compilation, Linking and Binary Compatibility, LICS'99 Fourteenth Annual IEEE Symposium on Logic in Computer Science, Trento

Radestock M, Eisenbach S, 1998, Component coordination in middleware systems, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware 98), SPRINGER-VERLAG LONDON LTD, Pages:225-240

Drossopoulou S, Eisenbach S, 1997, Java is type safe - Probably, 11th European Conference on Object-Oriented Programming (ECOOP 97), SPRINGER-VERLAG BERLIN, Pages:389-418, ISSN:0302-9743

Magee, J.N., Dulay, N., Eisenbach, S., et al., 1995, Specifying Distributed Software Architectures, Fifth European Software Engineering Conference, ESEC '95 , Barcelona

More Publications