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

Courses:

Links:
  • I use arch, BTW!
  • Tile your desktop, throw away your mouse
  • 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: