Logic
(L)
Logics of Belief
(LB)
Specification and Verification
(SV)
Methodics
(M)
Logic Programming
(LP)
Workflow. Modeling, Verification, Security
(WF)
Research (including Diploma works)
Designed by
Adrian Mironescu