Anca Delia Jurcut
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 & LearningUniversity College Dublin
- PhDUniversity of Limerick
- Prof Cert University Teaching & LearningUniversity College Dublin