Ioannis Kokkinis: student profile
![Photo of Kokkinis](/media/cache/ff/fe/fffebf0cb4fc1b59e9dedb66582db473.jpg)
Website: | https://sites.google.com/site/ykokkinis |
---|---|
Email: | (upside-down) ɯoɔ˙ꞁᴉɐɯƃ@sᴉuᴉʞʞoʞʎ |
msc
Enrolled in: | November 2011 |
---|---|
Graduated on: | Tuesday, 07 Jul 2015 |
Chosen specialization: | logic and the theory of algorithms and computation |
Thesis
Title: Annotated Sequent Systems for Linear Temporal Logic.
Defended: Monday, 06 Apr 2015.