Davetli Konuşmacılar
Profesör Dr. Pekka Abrahamsson, Bilgisayar Bilimleri, 'Bozen Free University' Bolzano, Italya.
DUYURU:
Davetli Konuşmacı Dr. Pekka Abrahamson’un konuşması, bağlı olduğu kurumca seyahat izninin, son günlerde Ankara’da da oluşan güvenlik endişesi gerekçesi ile iptal edilmesi üzerine yapılamayacaktır.
Profesör Dr. Tevfik Bultan, Bilgisayar Bilimleri, 'University of California, Santa Barbara (UCSB)', ABD.
Özet: Web Yazılımlarındaki Hataları Otomatik Doğrulama Yöntemleri ile Düzeltmek
Yazılım uygulamaları hızla Web'e geçmekte. Günümüzde eğlenceden ticarete, sağlıktan öğrenime, birçok etkinlik Web yazılımları kullanılarak yapılıyor. Güvenliği kritik olan uygulamaların da Web'e geçmesi yazılım mühendisliği alanında çok önemli bir problem yaratıyor: Şu anda Web yazılımlarının güvenilirliği yeterli seviyede degil. Ben bu konuşmada, Model-View-Controller (Model-Gorunum-Yonetici) mimarisine uygun olarak geliştirilen Web yazılımlarının güvenilirliğinin otomatik dorulama yöntemleri kullanılarak nasıl arttırılabileceğini tartışacağım.
Dr. Tevfik Bultan Hakk?nda: Dr. Tevfik Bultan halen University of California, Santa Barbara'da B?lgisayar Bilimleri bölümünde profesördür. Araştırma alanları web yazılımları ve servisleri, güvenirlilik, uyumluluk, otomatik doğrulama, statik analizler, ve yazılım mühendisliğidir. Tevfik Bultan lisans derecesini ODTÜ Elektrik Elektronik bölümünden, yüksek lisans derecesini ise Bilkent Üniversitesi Bilgisayar Mühendisliği bölümünden almıştır. Doktora derecesini University of Maryland, College Park, Bilgisayar Bilimleri bölümünden 1998 yılında alan Dr. Tevfik Bultan, aynı yıl University of California, Santa Barbara'nın Bilgisayar Bilimleri bölümüne katılmıştır. Dr. Tevfik Bultan 8. ACM SIGPLAN-SIGSOFT çalıştayına (PASTE 2008) ve 6. ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008) konferansına davetli konuşmacı olarak katılmıştır. 2000 yılında National Science Foundation'dan Faculty Early Career Development (CAREER) ödülünü ve 2005 yılında 20. IEEE/ACM International Conference on Automated Software Engineering (ASE 2005) konferansında En iyi Makale ödülünü almıştır.