Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Computing



+44 (0)20 7594 8264s.eisenbach Website




Mrs Marina Hall +44 (0)20 7594 8259




569Huxley BuildingSouth Kensington Campus





Susan Eisenbach has been at the College since September 1983. She was Head of the Department of Computing from January 2010 until September 2016, a position she was honoured to hold. Prior to that she 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 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 concurrent programs that behave correctly.

Selected Publications

Journal Articles

Eisenbach S, Sadler C, 2007, Reuse and abuse, Journal of Object Technology, Vol:6, 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-358


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-VERLAG BERLIN, Pages:407-421, ISSN:0302-9743

Gudka K, Harris T, Eisenbach S, 2012, Lock Inference in the Presence of Large Libraries, 26th European Conference on Object-Oriented Programming (ECOOP), SPRINGER-VERLAG BERLIN, Pages:308-332, ISSN:0302-9743

Allwood T, Cadar C, Eisenbach S, 2011, High coverage testing of Haskell programs, 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, SPRINGER-VERLAG BERLIN, Pages:276-290, ISSN:0302-9743

Phillips A, Yoshida N, Eisenbach S, 2004, A Distributed Abstract Machine for Boxed Ambient Calculi, Pages:155-170, ISSN:0302-9743

Drossopoulou S, Lagorio G, Eisenbach S, 2003, Flexible models for dynamic linking, Joint European Conference on Theory and Practice of Software (ETAPS 2003), SPRINGER-VERLAG BERLIN, Pages:38-53, ISSN:0302-9743

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., IEEE Computer Society, Pages:147-156

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