2013 – Present
Associate Professor
Faculty of Mathematics and Computer Science
University of Bucharest
Research Interests
- Logics and their applications to computing
- Algebraic specification, formal methods for software engineering
- Algorithms, Programming using logics, Term Rewriting and Rewriting Logic
Teaching
-
Software Systems Modelling
An introductory course on requirement analysis and modelling for software systems.
Previous iteration: 2025
-
Declarative Programming
An introductory course on (functional) declarative programming concepts and implementations.
-
Concurrency in Programming Languages
A hands-on review of concurrency constructs and approaches in various programming languages (Java, C++, Erlang/Elixir, Javascript, Python).
-
Programming Languages Semantics
An introductory course on (operational) semantics of programming languages. Concepts covered: designing interpreters; defining type systems; proving program equivalence and type safety.
-
Foundations of Programming Languages
A more hands-on version of the course above (using Haskell and Prolog). Including an introduction to logic programming.
-
Introduction to Machine Learning (for non computer-scientists)
A hands-on introduction to machine learning techniques using kaggle.com.
Professional Experience
2026 – Present
Research Consultant
Prototyping AI + Lean-based provers for various programming languages
2024 – 2026
Research Consultant
Prototyping a Zero-Knowledge Prover for Matching Logic
Specifying Semantics for blockchain-related programming languages using the K semantic framework
2012 – 2023
Research Consultant
Designing state-of-art analysis tools based on cutting-edge research
- Using the K Framework to build a semantics for the C++ language
- Sound and maximal causal models for predicting concurrency problems in Java and C
Specifying and proving properties about mathematical models for distributed systems protocols
2011 – 2013
Postdoctoral Scientific Researcher
Faculty of Computer Science
University “Alexandru Ioan Cuza”, Iași
Project leader for the K semantic framework.
2011 – 2012
Postdoctoral Research Associate
Information Trust Institute
University of Illinois at Urbana-Champaign
2004 – 2010
Research Assistant
Formal Systems Laboratory
University of Illinois at Urbana-Champaign
Summer 2007
Summer intern
Google, New York
Summer 2005
Summer intern
Testing, Verification and Measurement
Microsoft Research, Redmond
Selected Publications
PhD Thesis
- A Rewriting Approach to Concurrent Programming Language Design and Semantics. PhD Thesis, University of Illinois at Urbana-Champaign. December 2010.
Selected Papers
- Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems. Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Wojciech Kołowski, Brandon Moore, Karl Palmskog, Traian Florin Şerbănuţă, Michael Stay, Dafina Trufaş, Jan Tušil. arXiv preprint arXiv:2202.12662 (2022–2024).
- Operational semantics and program verification (using many-sorted hybrid modal logic). Natalia Moangă, Ioana Leuștean, and Traian Florin Șerbănuță. TABLEAUX’19. 2019
- Maximal Causal Models for Sequentially Consistent Systems. Traian Florin Serbanuta, Feng Chen and Grigore Rosu. RV’12, LNCS 7687, pp 136–150. 2012
- An Overview of the K Semantic Framework. Grigore Rosu and Traian Florin Serbanuta. J.LAP, Volume 79(6), pp 397–434. 2010
- A Rewriting Logic Approach to Operational Semantics. Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer. Information and Computation, Volume 207(2), pp 305–340. 2009
- Extending Parikh Matrices. Traian Florin Serbanuta. J. of TCS, Volume 310(1), pp 233–246. 2004
See the full list of publications and my CV.
Education
2004 – 2010
PhD in Computer Science
University of Illinois
2002 – 2004
MSc in Computer Science
University of Bucharest
1998 – 2002
BSc in Computer Science
University of Bucharest
Contact
- Emailtraian.serbanuta@unibuc.ro
- Phone+40 21 314 3508
- Websitecs.unibuc.ro/~tserbanuta
- Website (GitHub Pages)traiansf.github.io
- DBLPdblp.org/pid/s/TFSerbanuta
- Google ScholarScholar profile
- LinkedInlinkedin.com/in/traian-serbanuta
- GitHubgithub.com/traiansf
- Address Faculty of Mathematics and Computer Science, Str. Academiei 14, Suite 326, sector 1, București 010014, Romania