Süha Orhun MutluergilFaculty of Engineering and Natural SciencesVisiting Instructor(216) 568 7040suha.mutluergil@sabanciuniv.edu
Jobs
Visiting Instructor
Areas of Interest
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