Dosen DIKE UGM Prof. Suprapto Dikukuhkan sebagai Guru Besar Bidang Metode Formal

Yogyakarta, 4 Desember 2025 – Dosen Departemen Ilmu Komputer dan Elektronika (DIKE), Fakultas Matematika dan Ilmu Pengetahuan Alam (FMIPA), Universitas Gadjah Mada (UGM), Prof. Dr. Suprapto, M.I.Kom., resmi dikukuhkan sebagai Guru Besar dalam bidang Metode Formal. Upacara pengukuhan dilaksanakan di Balai Senat UGM dan dihadiri oleh pimpinan universitas, Dewan Guru Besar, Senat Akademik, sivitas akademika, keluarga, dan para tamu undangan.

Pengukuhan ini berdasarkan Keputusan Menteri Pendidikan Tinggi, Sains, dan Teknologi Republik Indonesia Nomor 136518/M/07/2024, yang menetapkan Prof. Suprapto dalam jabatan fungsional Guru Besar mulai 1 Desember 2024. Dalam pidato ilmiahnya berjudul “Metode Formal dalam Era Kecerdasan Artifisial: Tinjauan Historis dan Peran yang Berkembang”, Prof. Suprapto menyoroti peran penting metode formal dalam memverifikasi sistem perangkat lunak dan perangkat keras modern, khususnya pada sistem penerbangan, otomotif, medis, dan pertahanan. Ia menjelaskan bahwa meningkatnya kompleksitas perangkat lunak menimbulkan tantangan verifikasi yang tidak dapat diselesaikan hanya dengan pengujian konvensional.

Ia juga menekankan perubahan besar dalam lanskap teknologi setelah munculnya kecerdasan artifisial berbasis machine learning yang bersifat tidak deterministik dan sulit dijelaskan. Kondisi ini membuat metode formal perlu berevolusi melalui pendekatan hibrida, termasuk verifikasi jaringan saraf, penetapan spesifikasi formal untuk sistem probabilistik, hingga pengembangan teknik interpretabilitas. Menurutnya, metode formal ke depan akan menjadi fondasi akuntabilitas digital, terutama ketika sistem otonom semakin banyak digunakan dalam pengambilan keputusan.

Prof. Suprapto juga menyampaikan apresiasi mendalam kepada keluarga, pembimbing, kolega, serta para guru sepanjang perjalanan pendidikannya mulai dari SD, SMP, SMA, hingga jenjang magister dan doktoral. Ia menegaskan bahwa pencapaian ini juga merupakan hasil dari doa, dukungan moral, serta kerja sama seluruh sivitas DIKE UGM yang selama ini menjadi lingkungan akademik yang baik. Dengan pengukuhan ini, Prof. Suprapto menjadi bagian dari 539 Guru Besar aktif UGM, dan salah satu dari 57 Guru Besar aktif di Fakultas MIPA.

Pengukuhan ini berkontribusi dalam mendukung Tujuan Pembangunan Berkelanjutan (SDGs), khususnya SDG 4 (Pendidikan Berkualitas) melalui pengembangan ilmu komputasi yang berlandaskan ketelitian ilmiah, SDG 9 (Industri, Inovasi, dan Infrastruktur) melalui penerapan metode formal pada teknologi, serta SDG 16 (Institusi yang Kuat) melalui promosi transparansi, keamanan, dan akuntabilitas sistem digital di era kecerdasan artifisial.

Author: Marina
Editor: Rifki
#SDGs4 #SDG9 #SDGs16