Dr. Adina Aniculaesei | Technology | Best Researcher Award

Dr. Adina Aniculaesei | Technology | Best Researcher Award

Dr. Adina Aniculaesei , Postdoctoral Researcher, Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Sweden.

Adina Aniculăesei is a passionate researcher and expert in automated safety‑critical systems, currently based in Gothenburg, Sweden. Born in Iași, Romania, she has dedicated her career to making autonomous vehicles and mobile robots safer, focusing on verification, formal methods, and runtime validation. Through years of multidisciplinary research and teaching, she has shaped the future of software engineering for intelligent transportation and collaborative robotics. Her deep knowledge of formal verification and system modeling has positioned her as a leading voice in the realm of dependable and trustworthy autonomous platforms, making significant impacts in both academia and industry.

Publication Profile

Google Scholar

🎓 Education Background

Adina earned her Doctorate (Dr. rer. nat.) in Computer Science from the Clausthal University of Technology, Germany, in 2024, graduating magna cum laude. She holds an M.Sc. in Computer Science from the Technical University of Braunschweig (2011) and a B.Sc. in Computer Science from Alexandru Ioan Cuza University, Romania (2007). An Erasmus–Socrates scholar, she enriched her studies with a year at the Technical University of Braunschweig. Her rigorous training combined formal methods, software engineering, and automated test case generation, making her adept at tackling complex, safety‑critical domains.

💼 Professional Experience

Adina Aniculăesei has worked as a Postdoctoral Researcher at the University of Gothenburg and Chalmers University of Technology (since October 2024), focusing on translating formal behavioral specifications into ROS2 nodes for collaborative robot applications. Previously, she served as a Doctoral Researcher and Research Assistant at TU Clausthal, leading industry collaborations, teaching, and mentoring students. Her experience includes roles across software and systems engineering, with a strong focus on safety, formal verification, and automated test generation for automotive and robotics domains, making her a sought‑after expert and educator in the field.

🏅 Awards and Honors

Throughout her academic journey, Adina Aniculăesei has been recognized for excellence and dedication. She received the Siemens Master Program Scholarship (2007–2009) and the Erasmus–Socrates Scholarship (2005–2006). Her doctoral studies earned her the magna cum laude distinction upon defending her Ph.D. thesis at Clausthal University of Technology in 2024. Additionally, she holds technical certifications including ISAQB Certified Professional for Software Architecture and ISTQB Certified Tester Foundation Level, highlighting her commitment to mastering both theoretical and practical elements of her field.

🔍 Research Focus

Adina Aniculăesei’s research centers on formal verification, automated test generation, and runtime monitoring for automated safety‑critical and collaborative multi‑agent systems. She explores methods for specifying, verifying, and validating complex operational design domains (ODDs) for autonomous vehicles and mobile robots. Her expertise includes formal methods (SPIN, NuSMV, PRISM), test case generation, model checking, and AI‑based environment perception, making her work pivotal in shaping next‑generation transportation and robotics technologies.

✅ Conclusion

With a profound background in formal methods, automated test generation, and verification of safety‑critical systems, Adina Aniculăesei has established herself as an influential expert in both academia and industry. Her dedication to mentoring students, publishing impactful research, and collaborating with international institutions has positioned her as a thought leader in software engineering for dependable, trustworthy, and safe autonomous technologies.

📚 Publication Top Notes

  • Towards a holistic software systems engineering approach for dependable autonomous systemsProceedings of the 1st International Workshop on Software Engineering for AI (2018). Cited by 70
  • Towards the verification of safety‑critical autonomous systems in dynamic environmentsarXiv preprint (2016). Cited by 42
  • Automated generation of requirements‑based test cases for an adaptive cruise control systemIEEE Workshop on Validation, Analysis and Evolution of Software Tests (2018). Cited by 24
  • UML‑based analysis of power consumption for real‑time embedded systemsIEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (2011). Cited by 24
  • Graceful degradation of decision and control responsibility for autonomous systems based on dependability cages5th International Symposium on Future Active Safety Technology Toward Zero Accidents (2019). Cited by 14

 

Mrs. Micheline Sabiteka | Technologies | Best Researcher Award

Mrs. Micheline Sabiteka | Technologies | Best Researcher Award

PhD Candidate, Central China Normal University, China

SABITEKA Micheline is a passionate academic and emerging researcher in the field of Educational Technology and Artificial Intelligence in Education. She is currently pursuing her Ph.D. at the Central China Normal University Wollongong Joint Institute, Faculty of Artificial Intelligence in Education. Alongside her doctoral journey, she contributes as an Assistant Lecturer at École Normale Supérieure de Bujumbura. With a strong foundation in applied pedagogy, she is dedicated to fostering technological innovations in teaching and learning, especially for developing countries 🌍💻.

Publication Profile

ORCID

🎓Education Background

Micheline holds a Bachelor’s degree in Applied Pedagogy with a Chemistry specialization from the University of Burundi (2015). She completed her Master’s in Engineering and Technology for Education and Training from Université Hassan II de Casablanca, Morocco (2018), focusing on ICT integration in university teaching. Currently, she is a Ph.D. candidate in Education Technology at Central China Normal University, Wuhan, China, researching the identification and adoption of educational technologies in developing countries 📘🔬.

👩‍🏫Professional Experience

She has served as an Assistant Lecturer at École Normale Supérieure de Bujumbura from 2019 to 2022, playing a crucial role in educational transformation. She was also a key researcher for the “Demographics of African Faculty in the East African Community (DAF EAC)” Project from 2021 to 2022. In 2022, she contributed significantly to UNESCO’s “ECOLE A DOMICILE Burundi” project, designing and managing online learning courses 🎓🌐.

🏅Awards and Honors

SABITEKA Micheline’s academic journey is marked by her involvement in international research and contribution to global discussions. She has published in leading journals like Sustainability and IEEE. Her editorial service includes reviewing manuscripts for the journal Education and Information Technologies. She has also authored two patents and is gaining recognition for her work in educational technology innovation 🏆📜.

🔬Research Focus

Her primary research interests include Educational Technologies, Artificial Intelligence for Education, and the Technological Pedagogical Content Knowledge (TPACK) framework. Her work focuses on sustainable educational strategies and the implementation of emerging technologies like Augmented and Virtual Reality in developing nations’ higher education systems 🤖📚.

✅Conclusion

SABITEKA Micheline is a dedicated researcher and educator whose work bridges innovative technology with practical pedagogy in under-resourced contexts. Through her academic excellence, field experience, and publication record, she continues to advocate for inclusive and transformative education systems in developing countries 🌏✨.

📘Top Publications 

Toward Sustainable Education: A Contextualized Model for Educational Technology Adoption for Developing CountriesSustainability, 2025.
Cited by: 2 articles

Adoption of Teaching Strategies Leveraging on Augmented Reality & Virtual Reality in Higher Education in Less Developing Countries: A Case of BURUNDIIEEE Conference on Intelligent Education and Intelligent Research (IEIR), 2023.
Cited by: 2 articles