Prof. Deepak Kapur, seorang professor yang bergelut di bidang ilmu komputer dari University of New Mexico, USA, memberikan kuliah terbuka kepada para mahasiswa Fasilkom UI bertempat di Ruang Rapat Besar Gedung A, Jumat (23/9). Pada kesempatan ini, Prof. Deepak Kapur menjelaskan tentang teknologi automatic reasoning, model checking, dan analisis program yang mengembalikan harapan atas verifikasi kelayakan mekanik dari sifat-sifat program. Peranan penting loop invariants dalam analisis program juga disampaikan dalam kuliah terbuka ini.

Menerima Herbrand Award for Distinguished Contributions to Automated Deduction atas dedikasi dan kontribusinya di bidang automated deduction pada tahun 2009, Beliau telah berkecimpung dalam berbagai riset, antara lain mengenai automated deduction, induction theorem proving, term rewriting, unification theory, formal methods, program analysis, hardware verification, algebratic dan geometric reasoning, serta pengaplikasian teori-teori tersebut.

Topik kuliah terbuka ini penting untuk dipelajari oleh mahasiswa ilmu komputer, terutama bagi mereka yang mendalami bidang komputasi ilmiah. Bahasan seminar terbuka kali ini sangat tepat demi meningkatkan khazanah ilmu pengetahuan, khususnya dalam hal analisis algoritma.