Skip to content
Image of Alexandros

Alexandros Konios

Senior Lecturer

School of Science & Technology

Role

Dr Alexandros Konios is a Senior Lecturer in Cyber Security in the Department of Computer Science and an active research member of the Cyber Security Research Group (CSRG). He currently teaches on the BSc Cyber Security and MSc Cyber Security courses here at NTU.

He obtained his PhD in Computer Science and MSc in Computer Security and Resilience from the University of Newcastle upon Tyne (UK). He also holds a BSc in Computer Science from the University of Piraeus (Greece). He has previously worked as Lecturer in Ethical Hacking and Cyber Security at Coventry University, and as Senior Lecturer in Computer Science at Staffordshire University. Alexandros is a Fellow of Higher Education Academy, and a member of the British Computer Society and other professional bodies.

His teaching experience spans across the areas of network security, ethical hacking, information security, secure programming, cryptography, system verification and system engineering. Moreover, he has supervised and mentored 3 PhD and Erasmus+ PhD students, 1 KTP researcher and several postgraduate and undergraduate students. Alexandros is a research active academic in the fields of smart environments and cyber security.

Career overview

Dr Alexandros Konios obtained his PhD in Computer Science and MSc in Computer Security and Resilience from the University of Newcastle upon Tyne (UK). He also holds a BSc in Computer Science from the University of Piraeus (Greece). He has previously worked as Lecturer in Ethical Hacking and Cyber Security at Coventry University (2016-20), and as Senior Lecturer in Computer Science at Staffordshire University (2020-22). Alexandros is a Fellow of Higher Education Academy, a member of the British Computer Society and IEEE, and other professional bodies.

Research areas

Dr Alexandros Konios’ core research interests centre on the analysis of interactive and concurrent systems, including both the theoretical aspects of their semantics and the application of formal techniques to the modelling and verification of such systems. His research also focuses on “correct by design” procedures, such as finding effective solutions for the Petri nets synthesis problem, which could guarantee the correctness of the examined systems. Moreover, Alexandros is generally interested in the development and application of formal methods and tools for effectively modelling and verifying the behaviour of computer systems. Particularly, this involves the development of efficient formal techniques to model and analyse safety-critical systems, such as robotic systems, medical devices, and intelligent systems. Further research interests include:

  • Model checking and temporal logic,
  • Data analysis and Time series analysis,
  • Analysis of network protocols,
  • Design, usability analysis and prototyping of interactive interfaces,
  • Behavioural analysis of Activities of Daily Living in Smart Environments,
  • Artificial Intelligence and Machine Learning in Healthcare systems,
  • Internet of Things (IoT), and Cryptography.

External activity

  • Guest Editor at Frontiers in Digital Health journal
  • Member of organizing committee of conference workshops.
  • Reviewer for Q1 journals
  • Fellow in Higher Education Academy (FHEA) - Ref. no PR156367
  • Certified ECDL invigilator and administrator of the British Computer Society (BCS)
  • IEEE Professional Member
  • IEEE Computer Society member
  • Accredited CISCO ITE (IT Essentials) instructor

Publications

  1. Konios, A., Khan, Y. I., Garcia-Constantino, M., and Lopez-Nava, I. H. (2023). “A modular framework for modelling and verification of activities in ambient intelligent systems”. 25th International Conference on Human-Computer Interaction (HCI International 2023) (accepted)
  2. Ortiz-Barrios, M., Espeleta-Aris, A., Jiménez-Delgado, G., Celani-De Souza, H.J., Santana-De Oliveira, J., Konios, A., Campis-Freyle, l. and Navarro-Jimenez, E. (2023). “A hybrid multi-criteria framework for evaluating the performance of clinical labs during the Covid-19 pandemic”. 25th International Conference on Human-Computer Interaction (HCI International 2023) (accepted)
  3. Altamirano-Flores, Y. V., Konios, A., Lopez-Nava, I. H., Garcia-Constantino, M., Ekerete, I., & Mustafa, M. (2023). “Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living”. In 7th Workshop on Emotion Awareness for Pervasive Computing Beyond Traditional Approaches (EmotionAware): 2023 IEEE International Conference on Pervasive Computing and Communications (PerCom2023)
  4. Garcia-Constantino, M., Konios, A., Lopez-Nava, I. H., Pouliet, P., Ekerete, I. F., Mustafa, M. A., Nugent, C., and Morrison, G. (2023). “Analysis of Accelerometer Data for Personalised Abnormal Behaviour Detection in Activities of Daily Living”. In Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI). Lecture Notes in Networks and Systems, Vol. 594. Springer.
  5. Christopoulos, S.-R. G., Papadopoulou, K., Konios, A. & Parfitt, D. (2022). “DIMS: A tool for setting up defects and impurities CASTEP calculations”. Computational Materials Science
  6. Ekerete, I. F., Garcia-Constantino, Konios, A., Mustafa, M. A., Diaz, Y., Nugent, C., & McLaughlin, J. (2021). “Fusion of Unobtrusive Sensing Solutions for Home-Based Activity Recognition and Classification using Data Mining Models and Methods”. Applied Sciences, 11(19): 9096
  7. Mustafa, M. A., Konios, A., & Garcia-Constantino, M. (2021). “IoT-based Activities of Daily Living for Abnormal Behaviour Detection: Privacy Issues and Potential Countermeasures”. IEEE Internet of Things Magazine
  8. Ekerete, I. F., Garcia-Constantino, M., Diaz, Y., Giggins, O. M., Mustafa, M. A., Konios, A., Pouliet, P., Nugent, C., & McLaughlin, J. (2020). “Data Mining and Fusion of Unobtrusive Sensing Solutions for Indoor Activity Recognition”. 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC 2020)
  9. Garcia-Constantino, M., Konios, A., Mustafa, M. A., Nugent, C. & Morrison, G. (2020). “Ambient and Wearable Sensor Fusion for Abnormal Behaviour Detection in Activities of Daily Living”. 18th IEEE Intern. Conference on Pervasive Computing and Communications (PerCom 2020)
  10. Konios, A., Garcia-Constantino, M., Christopoulos, S.-R. G., Mustafa, M. A., Ekerete, I., Shewell, C., Nugent, C. & Morrison, G. (2019). "Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection".16th IEEE Intern. Conference on Ubiquitous Intelligence and Computing (UIC 2019)
  11. Eastwood, M., Konios, A., Tan, B., Jing, Y. and Hamid, A (2019). “Conditional Random Field Feature Generation of Smart Home Sensor Data using Random Forests”. IEEE Intern. Microwave Biomedical Conference (IMBioC 2019)
  12. Garcia-Constantino M., Konios, A., Ekerete, I., Christopoulos, S.-R. G., Shewell, C., Nugent, C. & Morrison, G. (2019) “Probabilistic Analysis of Abnormal Behaviour Detection in Activities of Daily Living”. 17th IEEE Intern. Conference on Pervasive Computing and Communications (PerCom 2019)
  13. Khan, Y. I., Konios, A., and Guelfi, N. A. (2018) “Survey of Petri nets Slicing”. ACM Computing Surveys, Vol. 51, Issue 5
  14. Konios, A., Jing, Y., Eastwood, M. and Tan, B (2018). “Unifying and Analysing Activities of Daily Living in Extra Care Homes”. 16th IEEE Intern. Conf. on Dependable, Autonomic & Secure Computing & 16th IEEE Intern. Conf. on Pervasive Intelligence & Computing & 4th IEEE Intern. Conf. on Big Data & 3rd IEEE Cyber Science (DASC/PiCom/DataCom/CyberSciTec 2018)
  15. Garcia-Constantino M., Konios, A. and Nugent, C. (2018) “Modelling Activities of Daily Living with Petri nets”. 16th IEEE Intern. Conf. on Pervasive Computing and Communications (PerCom 2018)
  16. Jing, Y., Eastwood, M., Tan, B., Konios, A., Hamid, A. and Collinson, M. (2017) “An Intelligent Well-being Monitoring System for Residents in Extra Care Homes”. IML Conference (IML 2017)
  17. Konios, A. (2013). Modelling Ambient Systems with Petri Nets. In Proceedings of 13th International Conference on Application of Concurrency to System Design (ACSD 2013) (pp. 247-251)