Ioannis Kokkinis: student profile
| Website: | https://sites.google.com/site/ykokkinis |
|---|---|
| Email: | ykokkinis│░át-sign░│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.