Ehud Shapiro: Membangun Infrastruktur Sosial untuk Web Masa Awal
Jauh sebelum ruang digital dipenuhi dengan percakapan waktu nyata (real-time) dan avatar grafis, arsitektur perangkat lunak memerlukan pergeseran mendasar untuk mendukung keterlibatan banyak pengguna (multi-user) di berbagai jaringan. Ehud Shapiro melakukan transisi penting dari ilmu komputer teoretis ke teknologi komersial pada awal tahun sembilanan puluhan, mendirikan perusahaan yang dirancang untuk memasukkan interaksi manusia secara langsung ke dalam halaman web statis. Upayanya menghasilkan beberapa sistem paling awal untuk perpesanan internet, penjelajahan kolaboratif, dan kehadiran virtual.
Landasan dalam Logika Pemrograman
Shapiro memulai karier akademisnya dengan berfokus pada persimpangan antara filsafat, matematika, dan komputasi. Selama penelitian doktoralnya di Universitas Yale, ia berkonsentrasi pada kerangka kerja teoretis untuk verifikasi perangkat lunak dan deduksi otomatis, serta menunjukkan bagaimana pernyataan logis dapat menyimpulkan program dan mengisolasi kesalahan perangkat lunak. Penelitian ini menghasilkan disertasi yang diakui tentang penelusuran kesalahan algoritmik (algorithmic debugging) dan memimpin penulisan bersama sebuah buku teks yang banyak digunakan tentang pemrograman logika.
Pada tahun 1982, Shapiro bergabung dengan Institut Sains Weizmann, di mana ia mengalihkan perhatiannya ke model eksekusi konkuren dan terdistribusi. Terinspirasi oleh upaya internasional untuk membangun platform komputasi paralel berkinerja tinggi, ia merumuskan Concurrent Prolog. Bahasa baru ini menggabungkan paradigma logika dengan pemrosesan paralel, serta memasukkan mekanisme untuk sinkronisasi aliran data. Formulasi teknisnya mengarahkan kembali inisiatif penelitian utama, termasuk proyek nasional Sistem Komputer Generasi Kelima Jepang, yang mengadopsi logika konkuren sebagai kerangka kerja perangkat lunak utamanya.
Mengubah Halaman Statis Menjadi Ruang Bersama
Pada tahun 1993, Shapiro mengambil cuti dari peran akademisnya di Institut Weizmann untuk mendirikan Ubique, sebuah perusahaan rintisan perangkat lunak asal Israel di mana ia menjabat sebagai kepala eksekutif. Pada saat itu, world wide web berfungsi terutama sebagai repositori untuk teks dan gambar statis. Ubique bertujuan untuk mengubah lanskap ini dengan menambahkan kehadiran manusia secara langsung ke dalam infrastruktur web.
Perusahaan tersebut menciptakan Virtual Places, sebuah platform klien-server yang memungkinkan individu untuk menavigasi situs web secara bersamaan sambil berinteraksi satu sama lain. Pengguna dapat menampilkan avatar visual di atas jendela peramban web, bertukar pesan instan, berbicara menggunakan protokol voice over IP, berpartisipasi dalam ruang obrolan daring, dan meramban halaman secara sinkron. Iterasi awal berjalan di atas workstation Unix, memulai debutnya bersamaan dengan rilis peramban web awal, sementara versi-versi selanjutnya menghadirkan kemampuan ini ke komputer pribadi yang menjalankan Windows 95.
Akuisisi dan Warisan Perusahaan
Ubique menarik minat komersial yang signifikan seiring meningkatnya momentum komunikasi digital waktu nyata. America Online mengakuisisi perusahaan tersebut pada tahun 1995 senilai 14,5 juta dolar untuk memperkuat kemampuan komunikasi interaktifnya. Mengikuti pergeseran fokus perusahaan, perusahaan rintisan tersebut mengalami pembelian kembali oleh manajemen (management buy-back) pada tahun 1997 sebelum diakuisisi oleh IBM pada tahun 1998.
Di bawah IBM, konsep inti dan teknologi yang dibangun oleh Shapiro dan timnya diintegrasikan ke dalam platform kolaborasi perusahaan, yang membentuk dasar bagi Lotus Sametime. Arsitektur yang mendasarinya mengalihkan komunikasi perusahaan ke arah kehadiran instan dan sistem perpesanan yang disinkronkan, yang memvalidasi fokus awal perusahaan rintisan tersebut pada lingkungan daring bersama.
Komputasi Biologis dan Selebihnya
Setelah akuisisi perusahaan awal, Shapiro kembali ke dunia akademis untuk memelopori komputasi biologis sintetik. Beroperasi di batasan biologi dan ilmu komputer, kelompok penelitiannya membangun mekanisme komputasi mikroskopis dari biomolekul. Perangkat molekuler ini menggunakan untaian DNA sebagai bahan bakar dan masukan, beroperasi sebagai mesin status yang dapat diprogram di dalam lingkungan biologis untuk melakukan tugas diagnostik dan melepaskan muatan terapeutik.
Inisiatifnya kemudian berkembang menjadi formalisme pemrograman molekuler, sintesis DNA berefisiensi tinggi melalui konsorsium CADMAD, dan metode untuk memetakan pohon garis keturunan sel manusia. Melalui rekayasa perangkat lunak maupun biologi molekuler, karya Shapiro secara konsisten membangun fondasi struktural untuk proses yang kompleks dan dapat mengeksekusi sendiri.