Konstantinos Barlas

Konstantinos Barlas serves as a Senior Lecturer in the Department of Computer and Information Engineering within the School of Engineering at the University of West Attica. His academic career spans both Greek and international institutions, bringing specialized expertise in formal methods and mathematical logic to his teaching and research activities.

Education:

• Diploma and Integrated Master from the School of Applied Mathematics and Physical Sciences, National Technical University of Athens (2006)
• PhD from the School of Electrical and Computer Engineering, National Technical University of Athens (2018) with research focus on algebraic pattern specification

Dr. Barlas' research centers on formal methods in computer science, with particular emphasis on algebraic specifications, formal verification, and mathematical logic. His work bridges theoretical computer science with practical applications in systems design and open standards development. His scholarly approach integrates mathematical rigor with software engineering principles to address complex specification challenges in computing systems.

He has published 10-12 papers in international scientific journals and conferences, including contributions to NASA's Innovations in Systems and Software Engineering. His publication record demonstrates consistent engagement with formal methods communities and interdisciplinary applications of mathematical logic in computing.

As an educator, Dr. Barlas teaches core mathematics courses for computer science students including Discrete Mathematics, Probability and Statistics, Mathematical Analysis I, and Linear Algebra. He serves as a scientific editor for the Greek publication 'Μαθηματικές Δομές για την Επιστήμη Υπολογιστών (Διακριτά μαθηματικά και εφαρμογές)'. His teaching philosophy emphasizes the foundational mathematical principles that underpin computer science education.

Dr. Barlas maintains strong connections with open source software communities, utilizing Arch and Void Linux distributions with i3wm as his preferred tiling window manager. His technical interests extend to Raspberry Pi projects, and he has creative pursuits including a music project called 'A group of crows'. His intellectual interests span literary works exploring absurdism and circular reasoning, including 'Catch-22', 'The Dice Man', 'The Hitchhiker's Guide to the Galaxy', and 'Gödel, Escher, Bach'.