Marius Minea

Marius Minea is an Associate Professor at the Department of Computer and Software Engineering, Politehnica University of Timișoara. He holds a Dr. Eng. degree and specializes in formal verification, cybersecurity, and software engineering. His work focuses on model checking, security protocols, and embedded systems design.

Research interests include formal verification techniques, software analysis, and security modeling. Notable projects include the EU-funded SPaCIoS and AVANTSSAR initiatives, which address automated validation of security in service-oriented architectures. He has organized major conferences like CRiSIS 2011 and contributed to workshops such as MoDeVVa.

Awarded the Merit Award in 2025, Minea teaches courses on computer security, formal verification, and programming. His work bridges theoretical foundations with practical applications, emphasizing automated testing and model-driven engineering.