Email: K.Androutsopoulos @ mdx.ac.uk
Office: TG04 Town Hall Building, Hendon Campus
Personal Website
About
- Senior Lecturer in Computer Science
Research Interests
- Static analysis algorithms
- Finite State Machines
- Security critical systems
- Safety critical systems
- Software Engineering
More Information
Publications Repository
Lessons from adopting a competency-based assessment approach for an introductory programming module
Androutsopoulos, K., Heeney, M., Smith, S. and Ticar, M.A. 2025. Lessons from adopting a competency-based assessment approach for an introductory programming module. ITiCSE 2025: Innovation and Technology in Computer Science Education. Nijmegen, Netherlands 27 Jun - 02 Jul 2025 Association for Computing Machinery (ACM). https://doi.org/10.1145/3724389.3731257
Implementing a digital twin for a robotic platform to support large-scale coding classes
Heeney, M., Androutsopoulos, K. and Raimondi, F. 2024. Implementing a digital twin for a robotic platform to support large-scale coding classes. Santos, A.L. and Pinto-Albuquerque, M. (ed.) 5th International Computer Programming Education Conference. Lisbon, Portugal 27 - 28 Jun 2024 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/oasics.icpec.2024.15
Correctly slicing extended finite state machines
Amtoft, T., Androutsopoulos, K. and Clark, D. 2020. Correctly slicing extended finite state machines. in: Di Pierro, A., Malacaria, P. and Nagarajan, R. (ed.) From lambda calculus to cybersecurity through program analysis: Essays dedicated to Chris Hankin on the occasion of his retirement Switzerland Springer. pp. 149-197
Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]
Androutsopoulos, K. 2018. Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]. Genetic programming and Evolvable Machines. https://doi.org/10.1007/s10710-018-9335-2
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
An analysis of the relationship between conditional entropy and failed error propagation in software testing
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R. and Harman, M. 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing. 36th International Conference on Software Engineering, ICSE '14. Hyderabad, India 31 May - 07 Jun 2014 Association for Computing Machinery (ACM). pp. 573-583 https://doi.org/10.1145/2568225.2568314
A racket-based robot to teach first-year computer science
Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61
State-based model slicing: a survey
Androutsopoulos, K., Clark, D., Harman, M., Krinke, J. and Tratt, L. 2013. State-based model slicing: a survey. ACM Computing Surveys. 45 (4), pp. 1-36. https://doi.org/10.1145/2501654.2501667
Amorphous slicing of extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Hierons, R., Li, Z. and Tratt, L. 2013. Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering. 39 (7), pp. 892-909. https://doi.org/10.1109/TSE.2012.72
Model projection: simplifying models in response to restricting the environment
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. 2011. Model projection: simplifying models in response to restricting the environment. ICSE11: International Conference on Software Engineering. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 Association for Computing Machinery (ACM). pp. 291-300 https://doi.org/10.1145/1985793.1985834