Dr. Dimitris Dranidis

Dimitris Dranidis is a Senior Lecturer (Assistant Professor) in Computer Science at the International Faculty of the University of Sheffield, CITY College. He holds a PhD in Computer science from the University of Munich, Germany. He is the coordinator of the “Software Engineering & Service-Oriented Technologies” research group of the Computer Science department.  He is the co-founder and co-chair of the bi-annual SEEFM (South-East European Formal Methods) workshops. His research interests are in the areas of Software Engineering and Formal methods.  He is currently involved in investigating model-based testing, service-oriented computing, software development methodologies, object-oriented technologies, and agile formal methods. 

University of Sheffield, Greece

Presentation Title:  "Automated Generation of Test Cases for Software Verrification"
Web: http://www.city.academic.gr/csd/dranidis/
E-mail: dranidis@city.academic.gr

Dr. Lilia  Georgieva

Artificial Intelligence, Data structures and algorithms, Databases and information systems, Rigorous methods, Computer network security, Web intelligence

Heriot-Watt University, United Kingdom

Presentation Title:  "  "
Web: http://fetch.ecs.uni-ruse.bg/?cmd=gsProfile&user=lggeorgieva
E-mail: lggeorgieva@gmail.com