Dr Otilia Mihaela Boaghe

Senior Lecturer (part-time)

Faculty:Faculty of Science and Engineering

School:Computing and Information Science

Location: Cambridge

Areas of Expertise: Artificial Intelligence , Computing and technology

Research Supervision:Yes

Dr Boaghe has many years of industrial experience in the development of complex ASICs and programming, with knowledge ranging from design and verification of complex integrated circuits to verification of RISC microprocessors. She gained experience also in the field of systems with strong nonlinearities, modelled mathematically with complex functions. Currently she is active in both academia and industry, the two activities complementing each other.





Dr Boaghe has received her PhD in Automatic Control and Systems Engineering from University of Sheffield, UK. Her bachelor’s degree is in Electronics and Computers Engineering, awarded by University Transilvania of Brasov. She is currently part-time Senior Lecturer of Computing and Artificial Intelligence. She is also part-time employed by ARM Ltd in Cambridge, as a Staff Verification Engineer, active in the verification of families of ARM micro-processors. Her research is focused on systems with strong nonlinearities and neural networks. She has published works in this field as part of the research team at University of Sheffield.

Dr Boaghe is a highly versatile user of design and verification languages (VHDL, Verilog, Systemverilog, SVA - SystemVerilog Assertions), verification methodologies (UVM, eRM), programming languages (Assembly, C, C++, Python, Matlab), Bash and Revision Control (TempoSync, TempoFlow, CVS, Git, Gerrit).

Dr Boaghe is active in teaching Operating Systems and Virtualization, Cloud Computing Security, Embedded Applications, ARM micro-processor, programming, design and verification of ASIC’s. She is also interested in applying her experience to artificial intelligence applications, for predictive modelling of systems with strong nonlinearities.

Spoken Languages





2022 – present Tri2 Module Embedded Computing Course and Laboratory, MOD007361

2021 – present Tri1 Module Operating Systems and Virtualizations Course and Laboratory, MOD004890

2012-2019 Testing and Verification of IC’s, course taught for final year students in Computer Science, Department of Electronics and Computers Engineering, University Transilvania of Brasov, Romania.


  • PhD in Automatic Control and Systems Engineering awarded January 2001. Title of Thesis: Volterra Series: Modelling Limitations.
  • MSc (Res) in Research in Materials, Structures and Systems Engineering at the University of Sheffield, UK. Graduated 29 September 1996 with Distinction.
  • MEng in Engineering at Transylvania University Brașov, Faculty of Electrical Engineering, Dept. of Electronics and Computer Engineering

Memberships, editorial boards

  • 2005 – 2008: Member of the IEEE Industrial Electronics Society Committee (on Low Power Electronics, Embedded Systems and Systems on the Chip for Industry).
  • 2020 – 2022: Member of the IEEE Industrial Electronics Society Committee

Selected recent publications

O. M. Boaghe, Sept 2021, “Verification of RISC Processors – Challenges with Innovative Solutions” Keynote Speech at 2021 OPTIM-ACEMP International Conference, Romania.