
Atıl Utku Ay
InstructorsResearch Area

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

Süha Orhun Mutluergil
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