Konstantinos Barlas

Konstantinos Barlas
- Lab teaching staff
- Department of Informatics and Computer Engineering
- University of West Attica
- Campus 1, K10.043
         

Education
- Ph.D., School of Electrical and Computer Enginnering, National Technical University of Athens, 2018.
- Diploma, School of Applied Mathematical and Physical Sciences, National Technical University of Athens, 2006.
Research Interests
- Algebraic Specifications, Formal Methods, Open Standards, Formal Verification, Formal Semantics, Formal Logic.
Publications
- 12 publications in international scientific journals (including NASA's Innovations in Systems and Software Engineering) and conferences.
Research
- Worked as a researcher and as a teaching assistant in University of Tampere, Finland, 2013
Publishing work
- Scientific editor @ Μαθηματικές Δομές για την Επιστήμη Υπολογιστών (Διακριτά μαθηματικά και εφαρμογές) - Judith Gersting, Gutenberg, ISBN: 978-960-01-2484-2

Courses:

Links:
  • I use almost exclusively free and open source software:
  • I use arch, BTW!
  • Lately, I've entered the Void
  • My preferred tiling window manager: i3wm
  • Why use search and replace when you can :%s/word/vim/g
  • Suckless software
  • Xournal++, a note taking app

My music project is called "A group of crows". Find me on: