Biography

Raluca is a Lecturer in Computer Science at the University of Bradford and a Visiting Researcher at the University of Sheffield, where she is a member of the Testing Group. Her research interests include formal specification methodologies, software testing, especially state-machine based testing using evolutionary approaches, P systems testing and verification. She is a also member of the RoboStar* research group, collaborating in the EPSRC RoboTest project on systematic model-based testing and simulation of mobile autonomous robots.

Organizing Committees

• Co-chair for the 17th Workshop on Advances in Model-Based Testing (A-MOST 2021), co-located with the 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), April, 2021, online

• Co-chair for the 16th Workshop on Advances in Model-Based Testing (A-MOST 2020), co-located with the 13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), October, 2020, online

• Student and Short Paper Track Co-chair for the 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallin, Estonia, 31 Aug–2 Sep, 2019

• Communication Chair for the 18th International Conference on Membrane Computing (CMC18), Bradford, UK, 24–28 July, 2017

Program Committees

• 17th Workshop on Advances in Model-Based Testing (A-MOST 2021), April 2021, Porto de Galinhas, Pernambuco, Brazil online

• Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020), December 2020, Manchester, UK online

• 16th Workshop on Advances in Model-Based Testing (A-MOST 2020), October 2020, Porto, Portugal online

• 12th Symposium on Search-Based Software Engineering (SSBSE2020), October 2020, Bary, Italy online

• Evolutionary Computation in Software Testing (ECST 2020), a special session of the IEEE Congress on Evolutionary Computation (IEEE CEC), July 2020, Glasgow, UK online

• 11th Symposium on Search-Based Software Engineering (SSBSE 2019), Tallin, Estonia, 31 Aug–2 Sep, 2019

• 19th International Conference on Membrane Computing (CMC19), Dresden, Germany, September 2018

• Workshop on Membrane Computing at UCNC 2018 (WMC 2018), Fontainebleau, France, June 2018

• International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) joined with 10th IEEE International Conference on Cyber, Physical and Social Computing (IEEE CPSCom-2017), Exeter, UK, June 2017

• 8th Symposium on Search-Based Software Engineering (SSBSE 2016), Raleigh, North Carolina, USA, October 2016

• 7th Symposium on Search-Based Software Engineering (SSBSE 2015), Bergamo, Italy, September 2015

• 4th Workshop on Formal Methods in the Development of Software (WS-FMDS 2014), Grenoble, France, September 2014

• 2nd International Workshop on Cloud Service Brokerage (CSB 2014), Manchester, UK, September 2014

• 6th Symposium on Search-Based Software Engineering (SSBSE 2014), Fortaleza, Brazil, August 2014

• 3rd Workshop on Formal Methods in the Development of Software (WS-FMDS 2013), Madrid, Spain, September 2013

• 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012), Paris, France, August 2012

• 3rd Workshop on Model-based Testing in Practice (MOTIP 2010), Paris, France, June 2010

• 2nd Workshop on Model-based Testing in Practice (MOTIP 2009), Enschede, The Netherlands, June 2009

• r.lefticaru@bradford.ac.uk
• +44 (0) 1274 23 2170
• Faculty of Engineering and Informatics, University Bradford, Bradford, West Yorkshire, BD7 1DP, UK