معرفی
Andrea Vandin serves as an Associate Professor in the Formal Methods for Safe and Secure Systems section at DTU Compute, Department of Applied Mathematics and Computer Science, Technical University of Denmark. Her research integrates theoretical computer science with practical system analysis, focusing on formal verification methodologies for complex systems.
Her primary research interests include:
- Formal methods for system verification
- Qualitative and quantitative modeling techniques
- Domain-specific language development
- Large-scale performance analysis
- Model reduction algorithms
- Chemical reaction network analysis
- Statistical model checking
Recent publications demonstrate expertise in constrained lumping of chemical systems, network embedding through equitable partitions, and stochastic conformance checking. Her work bridges computer science, mathematics, and systems biology with applications in sustainable system design. She actively contributes to UN Sustainable Development Goals through formal verification approaches for safe and secure systems.
Her research shows strong trends toward applying model reduction techniques to chemical reaction networks and agent-based systems, with increasing focus on statistical verification methods and probabilistic modeling. The integration of MultiVeStA with Mesa for Python agent-based models represents a significant contribution to verification capabilities in simulation environments.
