Carina da Silvaمشاهده پروفایل
استادیار
Dr. Carina da Silva is an academic researcher and educator at the Institute of Computer Science, University of Münster, within the Department of Mathematics and Computer Science. She holds the position of Akademische Rätin, a tenured academic role combining research and teaching responsibilities, equivalent to Assistant Professor. Her work focuses on formal methods and probabilistic verification in hybrid systems. Institution: University of Münster School: Department of Mathematics and Computer Science Department: Department of Computer Science Email: carina.dasilva@uni-muenster.de Office: Room 215, Einsteinstraße 62, 48149 Münster, Germany Dr. da Silva's research centers on the development and application of statistical model checking and Monte Carlo simulation techniques for analyzing stochastic hybrid systems, particularly hybrid Petri nets and stochastic hybrid automata. Her work enables rigorous dependability evaluation of complex systems such as battery-powered and critical infrastructures. She actively supervises bachelor’s and master’s theses and teaches courses including Simulation and Statistical Model Checking, as well as an advanced seminar on scientific work for computer science students. Her research is frequently published in top-tier venues like ACM Transactions on Modeling and Computer Simulation, NASA Formal Methods, and QEST. The most recent publications demonstrate a consistent trajectory in optimizing reachability analysis, rare event simulation, and model transformation, with a strong emphasis on formal correctness and computational efficiency. She is also involved in collaborative benchmarking efforts such as the ARCH competition, contributing to the evaluation and advancement of stochastic verification tools. Ursula von Euch Grant (2024) Recognized in Ausgezeichnete Informatikdissertationen 2021 Dr. da Silva is actively involved in academic governance, serving as a deputy member of the Department Council for Mathematics and Computer Science, representing academic staff. She returned from parental leave in March 2024 and continues to supervise theses and offer seminars. While specific advisee names are not listed, she regularly invites students to work on topics such as simulation frameworks, uncertainty quantification, convergence analysis, and integration of empirical data in model checking. She is not part of a named lab but collaborates closely with researchers like Prof. Anne Remke and contributes to the broader formal methods and embedded systems research groups at Münster.





