>
Juanita Caballero Villalobos
PhD Student
Department of Applied Mathematics and Computer Science
Richard Petersens Plads
Building 321 Room 120
2800 Kgs. Lyngby
Danmark
Compliance checking Conformance Checking Declarative Languages Visual Analytics Process Mining Formal Methods