معرفی
Femke van Raamsdonk is an Assistant Professor in Theoretical Computer Science at Vrije Universiteit Amsterdam’s Faculty of Science and affiliated with the Network Institute. She specializes in rewriting systems, lambda calculus, and formal methods. Her research spans higher-order rewriting, termination analysis, and computational logic, with a focus on theoretical foundations and applications in programming languages.
Van Raamsdonk has edited numerous conference proceedings, including RTA 2013 and FSCD 2023, and has authored over 24 research outputs. She teaches advanced courses like Advanced Logic and Equational Programming, emphasizing practical tools like the ProofWeb system. Her work contributes to UN Sustainable Development Goals through advancements in computational theory and education.
No scientific awards are explicitly mentioned, but her extensive editorial roles and conference contributions highlight her academic leadership. She has supervised two PhD theses, though student names are not listed. Her activities include memberships in professional organizations like CL and RTA, and lectures on topics such as constructor subtyping and termination in lambda calculus.
