University College Dublin logo
Dr Anca Delia Jurcut


Anca Delia Jurcut

Lecturer/Assistant Professor
School of Computer Science
01 716 2479
University College Dublin, School of Computer Science, Comp Science and Informatics Belfield Dublin 4


Dr. Anca Jurcut is an Assistant Professor in the UCD School of Computer Science since 2015. She received a BSc in Computer Science and Mathematics from West University of Timisoara, Romania in 2007 and a PhD in Security Engineering from University of Limerick (UL) in 2013 funded by the Irish Research Council for Science Engineering and Technology (IRCSET). She worked as a postdoctoral researcher at UL as a member of the Data Communication Security Laboratory and as a Software Engineer in IBM in Dublin in the area of data security and formal verification. She has recently acted as an evaluator of H2020 proposals for the Cryptography and Cybersecurity call. Dr. Jurcut research interests include Security Protocols Design and Analysis, Mathematical Modelling, Automated Techniques for Formal Verification, Cryptography, Computer Algorithms, Security for Internet of Things and Blockchain Security. Much of her work has focused on formal verification techniques for security protocols using deductive reasoning methods (modal logics and theorem proving); automation of logics for formal verification; the development of new logic-based techniques and tools for formal verification; the design and analysis of security protocols; formalisation and modelling of design requirements for security protocols.


  • Cert of CPD Univ Teaching & Learning
    University College Dublin
  • PhD
    University of Limerick
  • Prof Cert University Teaching & Learning
    University College Dublin