Harry Mairson

Harry Mairson
Pendidikan	Yale University Stanford University
Dikenal karena	Inferensi tipe untuk bahasa pemrograman ML, Inferensi tipe Hindley–Milner
Karier ilmiah
Tempat kerja	Stanford University Boston University Universitas Brandeis
Disertasi	The Program Complexity of Searching a Table (1983)
Pembimbing doktoral	Jeffrey Ullman

Situs web	https://www.cs.brandeis.edu/~mairson/

Harry George Mairson adalah seorang ilmuwan komputer teoretis dan profesor ilmu komputer di Volen National Center for Complex Systems di Universitas Brandeis di Waltham, Massachusetts. Penelitiannya di bidang logika dalam ilmu komputer, kalkulus lambda dan pemrograman fungsional, teori tipe dan matematika konstruktif, teori kompleksitas komputasi, dan algoritma.

Disertasi doktoralnya, The Program Complexity of Searching a Table, memenangkan Penghargaan Machtey pada Simposium IEEE tentang Dasar-Dasar Ilmu Komputer (FOCS) tahun 1983. Mairson adalah peneliti pascadoktoral di INRIA Rocqencourt dari tahun 1984 hingga 1985, di Universitas Stanford pada tahun 1985, dan di Universitas Oxford pada tahun 1986. Ia memegang posisi profesor tamu dari tahun 1999 hingga 2001 di Universitas Boston. Dari tahun 2005 hingga 2007, Mairson menjabat sebagai ketua Senat Fakultas di Brandeis. Saat ini ia adalah editor asosiasi jurnal Logical Methods in Computer Science and Information and Computation, dan duduk di dewan editorial Higher-Order and Symbolic Computation.

Kontribusi Mairson terhadap teori bahasa pemrograman mencakup pembuktian tentang inferensi tipe untuk bahasa pemrograman ML, disebut sebagai inferensi tipe Hindley–Milner, yang cukup lengkap dalam waktu eksponensial dan tentang reduksi beta paralel yang bersifat non-elementer.^[1]

Pendidikan

Mairson menerima gelar BA di bidang matematika dari Universitas Yale pada tahun 1978 dan gelar Ph.D. di bidang ilmu komputer dari Universitas Stanford pada tahun 1984 di bawah bimbingan Jeffrey Ullman.