My CV is available here.

Education

• DPhil in Computer Science, University of Oxford (2021-present)
• Master of Informatics with Honours, First Class, The University of Edinburgh (2014-2019)

Experience

• 2020 - 2021: Research Intern at FiveAI, Oxford, UK
  • Topic: Detecting Reflective Symmetries in 3D Models, Computer Vision
  • Paper: Recurrently Estimating Reflective Symmetry Planes from Partial Pointclouds (arXiv 2021, presented at the CVPR 2021 Workshop on 3D Vision and Robotics)
• 2019: Research Assistant at The University of Edinburgh, UK
  • Topic: Speech-to-Text Machine Translation
  • Paper: Analyzing ASR pretraining for low-resource speech-to-text translation (in Proc. of ICASSP 2020).
• 2018: Student Summer Research Fellow at ETH Zurich, Switzerland
  • Topic: Program Behaviour Synthesis
  • Supervisors: Professor Martin Vechev, Assistant Professor Dana Drachsler Cohen

Publications

How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data

Mihaela C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, Eleonora Giunchiglia. How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data. In Proceedings of ICLR 2024.

CCN+: A neuro-symbolic framework for deep learning with requirements

Eleonora Giunchiglia‚ Alex Tatomir‚ Mihaela C. Stoian, Thomas Lukasiewicz. CCN+: A neuro-symbolic framework for deep learning with requirements. International Journal of Approximate Reasoning, 2024. (In Press)

PiShield: A PyTorch Package for Learning with Requirements

Mihaela C. Stoian, Alex Tatomir, Thomas Lukasiewicz, Eleonora Giunchiglia. PiShield: A NeSy Framework for Learning with Requirements. arXiv preprint 2402.18285, 2024. Accepted at IJCAI 2024.

Exploiting T-norms for Deep Learning in Autonomous Driving

Mihaela C. Stoian, Eleonora Giunchiglia, Thomas Lukasiewicz. Exploiting T-norms for Deep Learning in Autonomous Driving. In Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy), 2023.

ROAD-R: The Autonomous Driving Dataset with Logical Requirements

Eleonora Giunchiglia, Mihaela C. Stoian, Salman Khan, Fabio Cuzzolin, Thomas Lukasiewicz. ROAD-R: The Autonomous Driving Dataset with Logical Requirements. Machine Learning, 112, 3261–3291 (2023).

Deep Learning with Logical Constraints

Eleonora Giunchiglia, Mihaela C. Stoian, Thomas Lukasiewicz. Deep Learning with Logical Constraints. In Proceedings of International Joint Conference on Artificial Intelligence, 2022.

Recurrently Estimating Reflective Symmetry Planes from Partial Pointclouds

Mihaela C. Stoian, Tommaso Cavallari. Recurrently Estimating Reflective Symmetry Planes from Partial Pointclouds. CVPR Workshop on 3D Vision and Robotics, 2021.

Analyzing ASR pretraining for low-resource speech-to-text translation

Mihaela C. Stoian, Sameer Bansal, Sharon Goldwater. Analyzing ASR pretraining for low-resource speech-to-text translation. In Proceedings of ICASSP, 2020.

Teaching

• 2017 - 2019: Class Tutor at The University of Edinburgh, UK
  • Processing Formal and Natural Languages
  • Discrete Mathematics
  • Algorithms, Data Structures and Learning

Scholarships and Grants

• EPSRC Scholarship for doctoral studies (October 2021 - March 2025)
• St Hilda’s College Travel for Research Grant (May 2023, February 2024)