Kuliah Terbuka Prof. Deepak Kapur “Automatic Generation of Loop Invariants for Program Analysis”

Kuliah Terbuka Prof. Deepak Kapur “Automatic Generation of Loop Invariants for Program Analysis”

On Monday, December 05 th, 2011

kuliah-terbuka-deepak-kapur-1024x680Prof. 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.

Leave a Reply

We usually reply with 24 hours except for weekends. All emails are kept confidential and we do not spam in any ways.

Thank you for contacting us :)

Enter a Name

Enter a valid Email

Message cannot be empty

X