Laura Kovacs

Lecturer

About

Automated Reasoning, Computational Logic, Formal Methods, Symbolic Computation, Cybersecurity

Data verified 9/6/2026Source

No reviews yet. Be the first to share your experience.