University of West Attica
Department of Informatics and Computer Engineering
Konstantinos Barlas
Dr. Konstantinos Barlas has received his bachelor's and integrated master's degree in Applied Mathematical and Physical Sciences from National Technical University of Athens, Greece in 2006. He has completed his Ph.D. degree on Algebraic Methods at the School of Electrical and Computer Engineering of the National Technical University of Athens, Greece in 2018.
His current research includes Algebraic Specifications, Formal Methods, Open Standards, Formal Verification, Formal Semantics and Formal Logic.
Location
Address
Campus 1,
Department of Informatics and Computer Engineering
Ag. Spyridonos Str., Egaleo, Postal Code 12243, Athens
Personal Website