Kuliah ini dimulai dengan sebuah kejutan, dosen tamu dari Belanda akan mengajar kuliah ini, Wow. Dosen sebenarnya untuk kuliah ini Pak Hilwadi, namun di awal kuliah kami diperkenalkan dengan mister Kees Pronk, profesor dari TU delft Belanda, profilnya ada di sini. Pikir saya, wah, pasti pakai bahasa inggris nih ngajarnya. Tapi Alhamdulillaah.. ternyata kuliahnya sangat menarik dan menyenangkan.
Mr. Pronk ini begitu perkenalan langsung buka slide materi pertama, mantap. Beliau memperkenalkan bidang keahlian yang dijalani beliau, yaitu model checking. Model checking ini adalah bagaimana memodelkan sebuah sistem dengan finite-state-machine, kemudian melakukan pengecekan agar model tersebut berjalan lancar, bebas dari deadlock maupun livelock. Aplikasi ilmu ini ada pada berbagai sistem kontrol otomatis, seperti navigasi pesawat terbang, satelit, dan sistem elektronik pada mobil-mobil mewah secara BMW. Pada rover penjelajah planet Mars, Curiosity, juga digunakan model checking.
