Andrei Arusoaie
Associate Professor
Iași, Romania
Summary
👤
Senior🎓
Top SchoolAndrei Arusoaie is an Associate Professor at Alexandru Ioan Cuza University in Iași with 15 years of experience at the intersection of teaching and formal-methods research. He teaches blockchain foundations, principles of programming languages, and logics in computer science while supervising work in program verification and analysis. His research focuses on smart contracts, program verification, and formal methods for software engineering, informed by postdoctoral work at Inria and a summa cum laude PhD in Formal Methods. Andrei combines rigorous theoretical foundations with practical concerns of secure, verifiable software—bridging classroom instruction and research-led tool development. Colleagues note his ability to translate complex formal techniques into teachable modules and applied analyses for emerging blockchain systems. Based in Iași, Romania, he brings deep academic credentials and a track record of mentoring the next generation of formal-methods engineers.
16 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy (PhD), Formal Methods, Summa cum Laudae, Doctor of Philosophy (PhD), Formal Methods, Summa cum Laudae at Universitatea „Alexandru Ioan Cuza” din IașiBachelor of Science (BSc), Computer Science, Rank 4, Bachelor of Science (BSc), Computer Science, Rank 4 at Faculty of Computer Science Iasi
Romanian, English
Github Skills (18)
tlaplus10
dataflow-programming10
eda10
alfresco10
maven10
logic5
benchmarking4
react3
science3
benchmark3
java3
semantics2
static-analysis2
computer-science2
formal-methods1
Programming languages (7)
Github contributions (5)
andreiarusoaie/itc-benchmarks
Oct 2017 - Nov 2018
Contributions:19 commits, 6 pushes, 3 branches in 1 year 1 month
toyotaitcbenchmarkingbenchmarkbenchmarks
andreiarusoaie/findel-semantics-coq
Jul 2019 - Nov 2020
A formal semantics of Findel in Coq.
Contributions:4 PRs, 81 pushes, 7 branches in 1 year 3 months
coqformal-semanticsformalsemantics
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.