Dafina Trufaș

About Me

I became interested in logic and proof assistants during the winter semester of 2021, when I attended the Lean seminar, which was also my first contact with the functional programming paradigm. In the summer of 2022, I completed an internship at Runtime Verification Inc., where I had the opportunity to work for the first time in a proof-engineering team. There I learned the basics of theorem-proving in Coq, contributed some low-level code-tasks to the Correct-By-Construction Casper Project, and was involved in improving the research paper and the documentation of this project. In the period July - October 2023, I completed a second internship at the same company, where I extended my Coq skills, contributing to the formalization of a distributed-system framework and also co-authored a paper which presents how this framework can be applied to solve an asynchronous version of the Muddy Children puzzle. In 2024, I completed my undergraduate studies in Computer Science at the Faculty of Mathematics and Computer Science at the University of Bucharest, with a thesis on a formalization of Intuitionistic Propositional Logic in Lean. Currently, I am a first-year Master's student in Security and Applied Logic. Since August 2024, I am also a Research Assistant at the Institute for Logic and Data Science.

For more details about my activity, please check my CV.

Publications

• Intuitionistic Propositional Logic in Lean, Electronic Proceedings in Theoretical Computer Science (2024)

• Asynchronous Muddy Children Puzzle (work in progress) (with Ioan Teodorescu, Denisa Diaconescu, Traian Șerbănuță and Vlad Zamfir), Electronic Proceedings in Theoretical Computer Science (2023)

• Validating Labelled State Transition and Message Production Systems (with Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Wojciech Kolowski, Brandon Moore, Karl Palmskog, Traian Florin Șerbănuță, Michael Stay, Jan Tusil), arXiv preprint arXiv:2202.12662 (2022)

Talks

Contributed Conference Talks

• Working Formal Methods Symposium (FROM) 2024, Timișoara, Romania, September 16-18, 2024

• Working Formal Methods Symposium (FROM) 2023, Bucharest, Romania, September 21-22, 2023

Seminar Talks

• Intuitionistic propositional logic I,  Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest, November 14, 2024

• Intuitionistic propositional logic II,  Logic Seminar, Faculty of Mathematics and Computer Science, University of Bucharest, November 21, 2024

Contact

You can contact me at the following email address: dafina.trufas@s.unibuc.ro