Ioannis Kokkinis: student profile
| Website: | https://sites.google.com/site/ykokkinis |
|---|---|
| Email: | ykokkinis|░át-symbol░|gmail( ˙ )com |
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.