- Logics and their applications to computing
- Algebraic specification, formal methods for software engineering
- Algorithms, Programming using logics, Term Rewriting and Rewriting Logic
Declarative Programming (Fall Semester) - An introductory course on (functional) declarative programming concepts and implementations.
Programming Languages Semantics (Spring Semester) - An introductory course on (operational) semantics of programming languages. Concepts covered: designing interpreters; defining type systems; proving program equivalence and type safety.
Ideas for BSc Thesis Projects (in Romanian) - If you are interested in working for a BSc thesis under my supervision, please checked the linked page for possible ideas.
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
Project leader for the K semantic framework.
A Rewriting Approach to Concurrent Programming Language Design and Semantics. PhD Thesis, University of Illinois at Urbana-Champaign. December 2010.
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