Catalin Hritcu

Personal information


PhD student in Computer Science at Saarland University.


Language-based Security
Program Analysis and Verification
Semantics of Programming Languages
Formal Methods in Software Engineering

History


10 years 42 weeks