Summary
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
Conference
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