Imperial College London

ProfessorSusanEisenbach

Faculty of EngineeringDepartment of Computing

Professor of Computing
 
 
 
//

Contact

 

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

 
 
//

Assistant

 

Mrs Marina Hall +44 (0)20 7594 8259

 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

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

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

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

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

Conference

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

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

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

Allwood T, Cadar C, Eisenbach S, 2011, High coverage testing of Haskell programs, Pages:375-385

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

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

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

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

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., 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

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

More Publications