Bucharest, Romania

Bogdan Macovei

Advanced
@bogdanmacovei

OOP-Game-CPP. Simple OOP Game in C++

1

propositional-dynamic-logic. Formalization of PDL in Lean 4

1

DEAL-Lambda. The Lean implementation of DEAL-Lambda theory, with applications in Security Protocols

1

hybrid-many-sorted-modal-logic. Logical language specification with two applications, in security protocols and neural networks. We introduce an algorithm to build logical models.

1
4
Apply