Personal information
Femke van Raamsdonk is an Assistant Professor in the Theoretical Computer Science group in the Department of Computer Science.
Her main interests are first-order and higher-order term rewriting, lambda calculus, models of computation, and logic. She teaches courses on foundations of functional programming in the Bachelor Computer Science, and on logic in the Master Computer Science.
