Thanos Tsouanas: student profile
Webmaster
-
Assistant Professor,
Federal University of Rio Grande do Norte
| Website: | http://www.tsouanas.org/ |
|---|---|
| Email: | thanos │αt│ tsouanas <·> org |
msc, #200711
| Enrolled in: | December 2007 |
|---|---|
| Graduated on: | Wednesday, 22 Dec 2010 |
| Chosen specialization: | logic and the theory of algorithms and computation |
Thesis
Title: Semantic Approaches to Logic Programming.
Defended: Monday, 27 Sep 2010.
Final grades
| Course | Mark | Credits | |
|---|---|---|---|
| Λ1. | mathematical logic | 5.0 | 4 |
| Λ2. | computability | 10.0 | 4 |
| Λ3. | algorithms and complexity I | 5.0 | 4 |
| Λ4. | algorithms and complexity II | 5.0 | 4 |
| Λ5. | research methodology | 10.0 | 2 |
| Μ6. | set theory | 8.0 | 4 |
| Π6. | basic course in theoretical computer science | 6.0 | 4 |
| Π03Β. | semantics of programming languages | 9.0 | 4 |
| Π03Γ. | type systems for programming languages | 9.0 | 4 |
| ΜA09. | lattices and order theory | 10.0 | 4 |
| ΜΓ09. | universal algebra | 10.0 | 4 |
| ΛΔΕ. | MSc thesis | 10.0 | 10 |
| GPA: 8.23 | |||