Susan Eisenbach

Susan Eisenbach is an Emeritus Professor of Computer Science at Imperial College London. Her research investigates techniques for producing good software systems that behave appropriately.[4][1]

Susan Eisenbach
Alma materVassar College
Scientific career
FieldsProgramming languages
Concurrency
Testing
Verification
Smart contracts[1]
InstitutionsImperial College London
Doctoral studentsDiomidis Spinellis[2][3]
Websitewww.imperial.ac.uk/people/s.eisenbach

Education

Eisenbach completed an undergraduate degree in Mathematics at Vassar College.[5] She completed a masters degree in Mathematical Logic and in Computer Science at the University of London, before working as a school maths teacher.[5]

Career and research

Eisenbach joined the Department of Computing, Imperial College London in September 1983. In 1994 she was appointed Director of Studies, a role she held for 15 years, with overall responsibility for teaching.[6] She took a college wide role as Dean of Teaching and Learning in 2010.[7] In January 2011 she was made Head of the Department of Computing, which she completed September 2016.[8] Currently she is the elected member on College Council. She has supervised numerous PhD students including Diomidis Spinellis[3] and others.[2][9]

She has published several books on programming. In 1981 she published PASCAL for Programmers.[10] She published Program Design With Modula-2 in 1989.[11] She published Reasoned Programming in 1994.[12] Eisenbach's research focuses on how to produce concurrent programs that behave properly.[13][4][14][15]

She has championed entrepreneurship amongst the student community.[16] She is an advisor to the computer education program The Turing Lab, a partnership between Imperial College London graduates and YOOX Net-a-Porter Group.[17] Eisenbach has spoken about the lack of women in technology since 2000.[18] She pointed out that when "computing was less popular, we had far more women students".[19] She was part of a discussion host by The Guardian on how to get more women into technology roles in 2013.[20]

References
  1. Susan Eisenbach publications indexed by Google Scholar
  2. Susan Eisenbach at the Mathematics Genealogy Project
  3. Spinellis, Diomidis (1994). Programming paradigms as object classes : a structuring mechanism for multiparadigm programming. london.ac.uk (PhD thesis). University of London. OCLC 940344056.
  4. Susan Eisenbach at DBLP Bibliography Server
  5. "A holistic view of education - Reporter". Reporter. 29 April 2010. Retrieved 31 March 2018.
  6. "Home - Professor Susan Eisenbach". www.imperial.ac.uk. Retrieved 25 March 2018.
  7. "Who we consulted". Imperial College Union. 20 June 2014. Retrieved 30 March 2018.
  8. "Service | Professor Susan Eisenbach". wp.doc.ic.ac.uk. Retrieved 25 March 2018.
  9. Allwood, Tristan Oliver Richard (2011). Finding the lazy programmer's bugs. imperial.ac.uk (PhD thesis). Imperial College London. doi:10.25560/7095. hdl:10044/1/7095. OCLC 768069473. EThOS uk.bl.ethos.539251. icon of an open green padlock
  10. Eisenbach, S. (1981). Pascal for Programmers. Sadler, C. (Christopher), 1948-. Berlin: Springer-Verlag. ISBN 9783540104735. OCLC 6981341.
  11. Eisenbach, S. (1989). Program design with Modula-2. Sadler, Chris. Wokingham, England: Addison-Wesley. ISBN 978-0201175677. OCLC 24380788.
  12. "Reasoned Programming by Krysia B. Broda, Susan Eisenbach | Waterstones". www.waterstones.com. Retrieved 25 March 2018.
  13. "Logic and Semantics Seminar - 19th March, 2004: Susan Eisenbach". www.cl.cam.ac.uk. Retrieved 30 March 2018.
  14. Eisenbach, Susan; Leavens, Gary T. (2001). "Special issue: formal techniques for Java programs". Concurrency and Computation: Practice and Experience. 13 (13): 1121–1123. doi:10.1002/cpe.595. ISSN 1532-0634.
  15. Association for Computing Machinery (ACM) (26 September 2016), womENcourage 2016 - Programming Language Research and Technical Disruption, retrieved 31 March 2018
  16. imperialentrepreneur (8 December 2011), Susan Eisenbach Intro - Silicon Valley Comes to Imperial, retrieved 31 March 2018
  17. "BJSS and Turinglab to advance STEM education in the UK". Education Technology. Retrieved 25 March 2018.
  18. "Logging on to the fact that a woman's place is in the IT department". the Guardian. 29 April 2000. Retrieved 30 March 2018.
  19. "Computing adds up to a top salary". the Guardian. 7 March 1999. Retrieved 31 March 2018.
  20. Williams, Martin (13 September 2013). "How can we encourage more women into tech? – live chat". the Guardian. Retrieved 25 March 2018.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.