Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download local/intern/staff/Raamsdonk-van-Femke.pdf
Document related concepts
no text concepts found
Transcript
Femke van Raamsdonk: now teaching interests: • lambda calculus, algebraic specifications and functional programming, datastructures and algorithms (BSc) • type theory and proof checking (MSc) research interests: • rewrite-based models of computation: term rewriting, higher-order rewriting, lambda calculus • logic and types Femke van Raamsdonk: then teaching interests: • functional programming and its foundations, datastructures and algorithms, logic (BSc) • type theory and proof checking, term rewriting (MSc) research interests: • rewrite-based models of computation: term rewriting, higher-order rewriting, lambda calculus, graph and net rewriting • logic and types, formal verification
Related documents