Susan Eisenbach

Last updated

Susan Eisenbach
Lang.NET 2006- Susan Eisenbach.jpg
Alma mater Vassar College
University of London
Scientific career
Fields Programming languages
Concurrency
Testing
Verification
Smart contracts [1]
Institutions Imperial College London
Doctoral students Diomidis Spinellis [2] [3]
Website www.imperial.ac.uk/people/s.eisenbach

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

Contents

Education

Eisenbach completed an undergraduate degree in Mathematics at Vassar College. [5] She completed a master's 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 in September 2016. [8] 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. 1 2 Susan Eisenbach publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  2. 1 2 Susan Eisenbach at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  3. 1 2 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. 1 2 Susan Eisenbach at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  5. 1 2 "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. Lock-green.svg
  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 page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.