| [Home]
[Research] [Tools]
[Publications]
[CV] [Photo
Gallery] [Links] |
| |
| |
| |
| Name |
Aleksandar |
| Surname |
Dimovski |
| Nationality |
Macedonian |
|
|
| Email |
aleks@dcs.warwick.ac.uk |
| Phone |
+44 24 7652 2412 |
| Fax |
+44 24 7657 3024 |
| Mail |
Department of Computer
Science
University of Warwick, Coventry CV4 7AL, UK
|
| |
| |
| |
| Education |
| |
| 2003 - |
Ph.D.,
Computer Science
Warwick
University, Coventry, UK
Research
topic: Scalable software model checking based on game
semantics
Supervisor:
Dr. Ranko Lazic |
| 2001 - 2003 |
M.Sc., Informatics Science "Sts
Cyril and Methodius" University, Skopje, Macedonia
Dissertation:
Application of optimisation search heuristics in
cryptology
Supervisor:
Dr. Danilo Gligoroski |
| 1995 - 2000 |
B.Sc.,
Informatics Science
Institute of Informatics, Faculty of
Natural Sciences
Sts
Cyril and Methodius University, Skopje, Macedonia
GPA
9.73/10 |
| 1991 - 1995 |
High
school "Goce Delchev", Kumanovo, Macedonia
|
| |
| |
| |
| Awards |
|
| |
|
ORS
(Overseas Research Students) Award, 2003 |
|
EPSRC
(Engineering and Physical Sciences Research Council) Studentship,
2003 |
|
Graduation
with Distinction, Ss Cyril and Methodius, 2000 |
|
|
|
|
|
|
|
|
|