
Atıl Utku Ay
InstructorsResearch Area

Gülşen Demiröz »
InstructorsResearch Area
Software Testing Software Development Machine Learning

Barış Altop
Visiting InstructorsResearch Area
Learner modeling Predictive modeling Adaptive e-learning Personalization Clickstream data mining

Süha Orhun Mutluergil
Visiting InstructorsResearch Area
software verification and validation, concurrency theory, linearizability, deductive verification, developing testing methods with provable guarantees, proposing reasoning mechanisms for shared-memory and distributed concurrent programs focusing on block-chain platforms