Asta Halkjær From

Asta Halkjær From is a Postdoc at the Software, Data, People & Society (SDPS) Section of the Department of Computer Science, University of Copenhagen. Her research focuses on formal methods, automated reasoning, and logic in computer science, with a strong emphasis on formal verification using proof assistants like Isabelle/HOL and Lean. She actively contributes to the development of logical frameworks and deduction methods for computational logic.