Jump to content

Susan Eisenbach

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Trelshock (talk | contribs) at 21:50, 26 July 2023 (fix indefinite article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

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]

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[when?] 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. ^ a b Susan Eisenbach publications indexed by Google Scholar Edit this at Wikidata
  2. ^ a b Susan Eisenbach at the Mathematics Genealogy Project Edit this at Wikidata
  3. ^ a b 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. ^ a b Susan Eisenbach at DBLP Bibliography Server Edit this at Wikidata
  5. ^ a b "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. Free access icon
  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.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Susan_Eisenbach&oldid=1167290015"