Samson Abramsky

Samson Abramsky

Professor Samson Abramsky FRS is a computer scientist. Since the Year 2000, he has been a Fellow of the Royal Society of Edinburgh, a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Computing Laboratory. He has also been a Fellow of the Royal Society since 2004. His research achievements include the development of game semantics, domain theory in logical form, and categorical quantum mechanics.

He was educated at King's College, Cambridge (BA 1975, MA Philosophy 1979, Diploma in Computer Science) and Queen Mary, University of London (PhD Computer Science 1988, supervised by Richard Bornat). His earlier positions include:

* Programmer, GEC Computers Limited, 1976–1978
* Lecturer, Department of Computer Science and Statistics, QMUL, 1980–1983
* Lecturer, 1983–1988, Reader, 1988–1990, Professor, 1990–1995, Department of Computing, Imperial College London
* Professor of Theoretical Computer Science, University of Edinburgh, 1996–2000

Research career

Samson Abramsky is Christopher Strachey Professor of Computing and a Fellow of Wolfson College, Oxford University. Previously he held chairs at the Imperial College of Science, Technology and Medicine, and at the University of Edinburgh.

He holds MA degrees from Cambridge and Oxford, and a PhD from the University of London.

He is a Fellow of the Royal Society (2004), a Fellow of the Royal Society of Edinburgh (2000), and a Member of Academia Europaea (1993). He is a member of the Editorial Boards of the North Holland Studies in Logic and the Foundations of Mathematics, and of the Cambridge Tracts in Theoretical Computer Science. He was General Chair of LiCS 2000-2003, and is currently a member of the LiCS Organizing Committee.

He has played a leading role in the development of game semantics, and its applications to the semantics of programming languages. Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction. He has recently been working on high-level methods for quantum computation and information.

Awards

* He was awarded an EPSRC Senior Research Fellowship in 2007
* His paper ``Domain theory in Logical Form" won the LiCS Test-of-Time award (a 20-year retrospective) for 1987. The award was presented at LiCS 2007.
* He was awarded an EPSRC Senior Research Fellowship on Foundational Structures and Methods for Quantum Informatics in 2007.
* Fellow of the Royal Society (2004)
* Fellow of the Royal Society of Edinburgh (2000)

External links

* [http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/photo.jpgPhotograph]
* [http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/ Laboratory Home Page]
* [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abramsky:Samson.html DBLP List of Publications]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Abramsky — is a variation of a patronymic surname meaning son of Abram , the Biblical figure. The name is most prevalent among Jews.People*Chimen Abramsky (1917 ), academic professor *Jenny Abramsky (1946 ), BBC director *Samson Abramsky (1953 ), computer… …   Wikipedia

  • Yehezkel Abramsky — Dayan Yehezkel Abramsky, (7 February, 1886–19 September, 1976), known affectionately as Reb Chatzkel Abramsky, was one of the most eminent Orthodox rabbis of the 20th century who headed the London Beth Din for 17 years.Rabbinate and… …   Wikipedia

  • List of Ashkenazi Jews — This is an , which may never be able to satisfy certain standards for completeness. Revisions and additions are welcome. Ashkenazi Jews, also known as Ashkenazic Jews or Ashkenazim are Jews descended from the medieval Jewish communities of the… …   Wikipedia

  • List of University of Edinburgh people — is a list of notable graduates and former faculty of the University of Edinburgh in Scotland. The University is associated with nine Nobel Prize winners (Source: http://www.ed.ac.uk/studying/postgraduate/edinburgh/alumni.html)Politics and… …   Wikipedia

  • Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval …   Wikipedia

  • List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …   Wikipedia

  • Wolfson College, Oxford — Oxford College Infobox name = Wolfson College university = Oxford picture = colours = named for = Sir Isaac Wolfson, Bt., FRS established = 1965 motto = Humani nil alienum ( Homo sum, humani nil alienum a me puto ) (A quote from the Roman… …   Wikipedia

  • University of Edinburgh School of Informatics — 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… …   Wikipedia

  • Cambridge Diploma in Computer Science — Originally known as the Diploma in Numerical Analysis and Automatic Computing , the Diploma in Computer Science was a conversion course in Computer Science offered by the University of Cambridge. Although a Diploma for historic reasons, it would… …   Wikipedia

  • BCS-FACS — is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”