His research interests include formal methods for program analysis and veriﬁcation, design, analysis and veriﬁcation of concurrent software.Home page: http://sites.google.com/site/tayfunelmas/Email: tayfunelmas@gmail.com activity stream