Research output per year
Research output per year
Personal profile
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.
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 17 Partnerships for the Goals
Fingerprint
Dive into the research topics where Femke van Raamsdonk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 12 Similar Profiles
-
Proceedings 8th International Workshop on Computing with Terms and Graphs
van Raamsdonk, F. (Editor) & Middeldorp, A. (Editor), 26 May 2015, EPTCS. 80 p.Research output: Book / Report › Book (Editorship) › Academic
Open Access -
Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
van Raamsdonk, F. (Editor), 2013, Dagstuhl: LIPICS. 367 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 21)Research output: Book / Report › Book (Editorship) › Academic
Open Access -
Dynamic Dependency Pairs for Algebraic Functional Systems
Kop, C. L. M. & van Raamsdonk, F., 2012, (Accepted/In press) In: Logical Methods in Computer Science.Research output: Contribution to Journal › Article › Academic › peer-review
Open AccessFile126 Downloads (Pure) -
EPTCS 88: Proceedings 7th International Workshop on Developments of Computational Methods, Zurich, Switzerland, 3rd July 2011
Kashefi, E. (Editor), Krivine, J. (Editor) & van Raamsdonk, F. (Editor), 2012, In: Electronic Proceedings in Theoretical Computer Science. 88, 100 p.Research output: Contribution to Journal › Special issue (Editorship) › Academic › peer-review
Open Access -
Higher Order Dependency Pairs for Algebraic Functional Systems
Kop, C. L. M. & van Raamsdonk, F., 2011, Proc. 22th Conference on Rewriting Techniques and Applications. Schmidt-Schauß, M. (ed.). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 203-218Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Courses
-
-
Constructor subtyping in the calculus of inductive constructions
van Raamsdonk, F. (Speaker)
18 Jan 2000Activity: Lecture / Presentation › Academic
-
Constructor subtyping in the calculus of inductive constructions
van Raamsdonk, F. (Speaker)
13 Sept 2000Activity: Lecture / Presentation › Academic
-
-
Termination in simply typed lambda calculus
van Raamsdonk, F. (Speaker)
14 Jan 2000Activity: Lecture / Presentation › Academic