Susan Eisenbach

Last updated

Susan Eisenbach
Lang.NET 2006- Susan Eisenbach.jpg
Alma mater Vassar College
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 an 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 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]

Related Research Articles

<span class="mw-page-title-main">Ada Lovelace</span> English mathematician (1815–1852)

Augusta Ada King, Countess of Lovelace was an English mathematician and writer, chiefly known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine. She was the first to recognise that the machine had applications beyond pure calculation.

<span class="mw-page-title-main">Imperial College London</span> Public university in London, England

Imperial College London is a public research university in London, England. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cultural area that included the Royal Albert Hall, Victoria & Albert Museum, Natural History Museum and several royal colleges. In 1907, Imperial College London was established by royal charter, unifying the Royal College of Science, Royal School of Mines, and City and Guilds of London Institute. In 1988, the Imperial College School of Medicine was formed by merging with St Mary's Hospital Medical School. In 2004, Queen Elizabeth II opened the Imperial College Business School.

<span class="mw-page-title-main">School of Informatics, University of Edinburgh</span>

The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre.

<span class="mw-page-title-main">Diomidis Spinellis</span>

Diomidis D. Spinellis is a Greek computer science academic and author of the books Code Reading, Code Quality, Beautiful Architecture (co-author) and Effective Debugging.

<span class="mw-page-title-main">Lawrence Paulson</span> American computer scientist

Lawrence Charles Paulson is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.

<span class="mw-page-title-main">Luca Cardelli</span> Italian computer scientist

Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.

<span class="mw-page-title-main">Jean Bartik</span> American ENIAC computer programmer (1924–2011)

Jean Bartik was one of the original six programmers for the ENIAC computer.

Professor Stanley J. Gill was a British computer scientist credited, along with Maurice Wilkes and David Wheeler, with the invention of the first computer subroutine.

<span class="mw-page-title-main">Abbas Edalat</span> Iranian computer scientist

Abbas Edalat is a British-Iranian academic who is a professor of computer science and mathematics at the Department of Computing, Imperial College London and a political activist. In a 2018 letter to The Guardian, 129 experts in computer science, mathematics and machine learning described him as "a prominent academic, making fundamental contributions to mathematical logic and theoretical computer science" Edalat also founded SAF and CASMII, a campaign against sanctions and military intervention in Iran.

<span class="mw-page-title-main">Manny Lehman (computer scientist)</span> Known for Lehmans laws of software evolution

Meir "Manny" Lehman, FREng was a professor in the School of Computing Science at Middlesex University. From 1972 to 2002 he was a Professor and Head of the Computing Department at Imperial College London. His research contributions include the early realisation of the software evolution phenomenon and the eponymous Lehman's laws of software evolution.

Sophia Drossopoulou is a computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages. She earned her Ph.D. from the Karlsruhe Institute of Technology.

Mary Clare Coombs was a British computer programmer and schoolteacher. Employed in 1952 as the first female programmer to work on the LEO computers, she is recognised as the first female commercial programmer. The National Museum of Computing documents her contribution.

Susan Elizabeth Gibson is a British research chemist, Professor and Chair in Chemistry and Director of the Graduate School at Imperial College London. Gibson is an expert in chemical synthesis and catalysis.

<span class="mw-page-title-main">Maja Pantić</span> Artificial intelligence and robotics researcher

Maja Pantić is a Professor of Affective and Behavioural Computing at Imperial College London and an AI Scientific Research Lead in Facebook London. She was previously Professor of Affective and Behavioural Computing University of Twente and Research Director of the Samsung AI lab in Cambridge, UK. She is an expert in machine understanding of human behaviour including vision-based detection and tracking of human behavioural cues like facial expressions and body gestures, and multimodal analysis of human behaviours like laughter, social signals and affective states.

Emma Joan McCoy is the Vice President and Pro-Vice Chancellor for Education and a Professor of Statistics at the London School of Economics and Political Science. She has acted as a mathematics subject expert for discussions on reform of the National Curriculum, and is a member of the Royal Statistical Society council.

<span class="mw-page-title-main">Department of Computing, Imperial College London</span>

The Department of Computing (DoC) is the computer science department at Imperial College London. The department has around 50 academic staff and 1000 students, with around 600 studying undergraduate courses, 200 PhD students, and 200 MSc students. The department is predominantly based in the Huxley Building, 180 Queen's Gate, which it shares with the Maths department, however also has space in the William Penney Laboratory and in the Aeronautics and Chemical Engineering Extension. The department ranks 7th in the Times Higher Education 2020 subject world rankings.

<span class="mw-page-title-main">Cicely Popplewell</span> British software engineer

Cicely Mary Williams 29 October 1920 – 20 June 1995 was a British software engineer who worked with Alan Turing on the Manchester Mark 1 computer.

Susan Bond, was a scientific officer and computer programmer for the Mathematics Division of the Royal Radar Establishment (RRE) in the United Kingdom. She worked extensively on the programming language ALGOL 68 and the Royal Radar Establishment Automatic Computer (RREAC), an early solid-state electronics, ICL 1907F computer.

The Suffrage Science award is a prize for women in science, engineering and computing founded in 2011, on the 100th anniversary of International Women's Day by the MRC London Institute of Medical Sciences (LMS). There are three categories of award:

  1. life sciences
  2. engineering and physical sciences
  3. mathematics and computing.

Susan Sentance is a British computer scientist, educator and director of the Raspberry Pi Foundation Computing Education Research Centre at the University of Cambridge. Her research investigates a wide range of issues computer science education, teacher education and the professional development of those teaching computing. In 2020 Sentance was awarded a Suffrage Science award for her work on computing education.

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.