Prof. Dr. Suprapto, M.I.Kom. resmi dikukuhkan sebagai Guru Besar dalam Bidang Metode Formal Departemen Ilmu Komputer dan Elektronika, Fakultas Matematika dan Ilmu Pengetahuan Alam (FMIPA) Universitas Gadjah Mada (UGM). Pengukuhan dilaksanakan pada 4 Desember 2025 di Balai Senat Gedung Rektorat UGM. Dalam kesempatan tersebut, Prof. Suprapto menyampaikan pidato berjudul “Metode Formal dalam Era Kecerdasan Artifisial: Tinjauan Historis dan Peran yang Berkembang.”
Dalam pidatonya, Prof. Suprapto menyoroti perkembangan metode formal sebagai salah satu fondasi penting dalam rekayasa perangkat lunak modern. “Metode formal, suatu bidang yang berakar pada logika matematika dan ilmu komputer teoritis, menawarkan pendekatan berprinsip untuk menentukan spesifikasi, memodelkan, dan memverifikasi sistem perangkat lunak maupun perangkat keras,” ungkapnya. Pendekatan ini menjadi semakin relevan di tengah pesatnya perkembangan kecerdasan artifisial (AI), yang menuntut sistem digital agar tidak hanya cepat dan cerdas, tetapi juga aman, etis, dan dapat dipercaya.
Prof. Suprapto menjelaskan bahwa metode formal memiliki peran strategis dalam memastikan keandalan dan validitas sistem berbasis AI, mulai dari kendaraan otonom, jaringan komunikasi, hingga algoritma pengambilan keputusan. Ia menekankan pentingnya verifikasi ketat agar sistem AI tidak menimbulkan bias, kesalahan, atau dampak yang merugikan masyarakat. Dalam konteks tersebut, metode formal menjadi penghubung penting antara inovasi teknologi dan perlindungan nilai-nilai kemanusiaan.
Pengukuhan ini tidak hanya menandai pencapaian akademik Prof. Suprapto, tetapi juga memperlihatkan komitmennya dalam mendorong integrasi metode formal dengan teknologi kecerdasan artifisial demi menciptakan sistem yang lebih aman, transparan, dan dapat dipertanggungjawabkan. Kontribusinya sejalan dengan upaya FMIPA UGM dalam mendukung sustainable development goals (SDGs), khususnya SDG 4 yaitu Pendidikan Berkualitas melalui penguatan pendidikan komputasi, dan SDG 9 yaitu Industri, Inovasi, dan Infrastruktur dalam pengembangan teknologi yang andal serta berkelanjutan.
Penulis: Meitha Eka Nurhasanah
Dokumentasi: Raditya Maulana Wicaksana
