Simson D. Abramsky FRS , FRSE adalah ilmuwan komputer yang saat ini memegang Christopher Strachey profesor di Universitas Oxford Laboratorium Komputasi . Ia terkenal untuk memainkan peran utama dalam pengembangan permainan semantik . Dia telah membuat kontribusi signifikan untuk bidangteori domain , yang kalkulus lambda malas , analisis ketat , teori konkurensi , kategori interaksi , dangeometri interaksi .
BIOGRAFI
Sejak Tahun 2000, ia telah menjadi Fellow dari Royal Society of Edinburgh , anggota dari Wolfson College, Oxford dan Christopher StracheyProfesor of Computing di Oxford University Computing Laboratory . Dia juga telah menjadi Fellow dari Royal Society sejak tahun 2004.Prestasi penelitian Nya meliputi pengembangan permainan semantik , teori domain dalam bentuk logis , dan kategoris mekanika kuantum .
Ia dididik di Grammar School Hasmonean untuk Boys , Hendon dan di King College, Cambridge (BA 1975, MA Filsafat 1979, Diploma Ilmu Komputer) dan Ratu Mary, Universitas London (PhD Ilmu Komputer 1988, diawasi oleh Richard Bornat ).
Posisi sebelumnya termasuk:
- Programmer, GEC Komputer Terbatas , 1976-1978
- Dosen, Departemen Ilmu Komputer dan Statistik, QMUL, 1980-1983
- Dosen, 1983-1988, Reader, 1988-1990, Profesor, 1990-1995, Departemen Computing, Imperial College London
- Profesor Ilmu Komputer Teoritis, Universitas Edinburgh , 1996-2000
KARIR PENELITIAN
Samson Abramsky adalah Christopher Strachey Profesor Komputasi dan Fellow dari Wolfson College , Oxford University. Sebelumnya ia memegang kursi di Imperial College of Science, Teknologi dan Kedokteran, dan di University of Edinburgh .
Dia memegang gelar MA dari Cambridge dan Oxford , dan PhD dari University of London .
Dia adalah anggota dari Royal Society (2004), seorang Fellow dari Royal Society of Edinburgh (2000), dan Anggota Academia Europaea(1993). Dia adalah anggota Dewan Editorial dari Belanda Utara Studi di Logika dan Yayasan Matematika, dan dari Tracts Cambridge di Ilmu Komputer Teoritis. Dia Ketua Umum LiCS 2000-2003, dan saat ini anggota LiCS Panitia.
Ia telah memainkan peran utama dalam pengembangan permainan semantik , dan aplikasi kepada semantik bahasa pemrograman .Kontribusi penting lainnya termasuk karyanya pada teori domain dalam bentuk logis, kalkulus lambda malas , analisis ketat , teori konkurensi , kategori interaksi , dan geometri interaksi . Dia baru-baru ini telah bekerja pada tingkat tinggi metode untuk perhitungan kuantumdan informasi .
Abramsky PhD siswa termasuk ilmuwan komputer Chris Hankin dan Lukas Ong .
PENGHARGAAN
- Dia telah diberikan sebuah EPSRC Senior Research Fellowship pada tahun 2007
- Makalahnya " Domain teori dalam Formulir Logis "memenangkan LiCS Uji-of-Time penghargaan (retrospektif 20-tahun) untuk 1987.Penghargaan ini disajikan pada LiCS 2007.
- Dia telah diberikan sebuah EPSRC Research Fellowship Senior Struktur dasar dan Metode Quantum Informatika pada tahun 2007.
- Fellow dari Royal Society (2004)
- Fellow dari Royal Society of Edinburgh (2000)
0 comments:
Post a Comment