|
This material is presented to ensure
timely dissemination of scholarly and technical work. Copyright and
all rights therein are retained by authors or by other copyright
holders. All persons copying this information are expected to adhere
to the terms and constraints invoked by each author's copyright. In
most cases, these works may not be reposted without the explicit
permission of the copyright holder.
Şu an
The Koç Universitesi, İleri
Tasarım Teknolojileri Merkezi'nde araştırma asistanı olarak
görev yapıyorum. Araştırma grubumuzun web sitesi:
http://theorem.ku.edu.tr/.
Çalışma alanım yazılım
geliştiricilerin koşut-zamanlı yazılımlarını etkin ve güvenilir
şekilde doğrulamalarını sağlayacak teknikler ve araçlar geliştirmek.
Başlıca araştırma konularım:
- Program çözümlemesi ve
doğrulaması için biçimsel yöntemler, otomatik statik ve dinamik
çözümleme ve doğrulama teknikleri, model denetleme, otomatik
teorem ispatlama.
- Koşut-zamanlı yazılımların
tasarımı, çözümlenmesi ve doğrulanması.
- Yazılım mühendisliği, yazılım
geliştirme metodolojileri, koşut-zamanlı nesneye-yönelik
yazılımların çözümlenmesi, tasarımı ve geliştirilmesi.
Şu anki araştırma konularım hakkında
daha ayrıntılı bilgi için
araştırma sitemizi ziyaret ediniz.
Daha önceki araştırma konularım için
burayı tıklayınız. |
