Kemal İnan

E-posta : inansabanciuniv.edu

Eğitim :

1964-1966 Elektrik Mühendisliğinde Lisans ve Yüksek Lisans dereceleri Orta Doğu Teknik Üniveritesi Elektrik Mühendisliği Bölümü 1966-1967 Warwick Üniversitesi (İngiltere) Otomatik Kontrol programından MSc derecesi 1967-1970 Kaliforniya Üniversitesi Berkeley Kampusu EECS Bölümünden Elektrik Mühendisliğinden PhD derecesi

Çalıştığı Kuruluşlar :

1964-1980, 1989-1998 ODTÜ Elektrik Mühendisliği Bölümü 1980-1982, 1985-1989 EECS Bölümü Kaliforniya Üniversitesi Berkeley Kampusu 1998 - Sabancı Üniversitesi Mühendislik ve Doğa Bilimleri Fakültesi 1983-1985 SODEP kurucusu ve MKYK üyesi 1984-1985 Kavala Şirketleri, teknik danışman

Yayınlar :

Article

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) "The relation between preset distinguishing sequences and synchronizing sequences", Formal Aspects of Computing, Vol.26, No.6, 1153-1167 (SCI)

İnan, Kemal and Ural, H. (1999) "Efficient checking sequences for testing finite state machines", Information and Software Technology, Vol.41, No.11-12, 799-812 (SCI)

Papers in Conference Proceedings

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü, "An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines", Czachórski, Tadeusz and Gelenbe, Erol and Lent, Ricardo (eds.), 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow: Springer International Publishing, October 2014, 325-335