معرفی
Prof. Gabriele Keller is a Professor of Software Technology at Utrecht University's Faculty of Science. She previously held roles at the University of New South Wales, including Associate Professor (2014–2018) and Senior Lecturer (2001–2013). Her research focuses on functional programming, type systems, high-performance computing, and verification methodologies. Current projects include Accelerate (a parallel computing DSL embedded in Haskell) and Cogent (a systems programming language with formal verification features).
Education:
- PhD in Natural Sciences (Technische Universität Berlin, 1999): 'Efficient Compilation of Nested Data-Parallelism for Distributed Memory Machines'
- MSc Computer Science (Technische Universität Berlin, 1995)
Research Interests:
- Type systems and correctness guarantees
- Parallel computing and GPU programming
- Formal verification of systems software
- Domain-specific languages for high-performance domains
Professional Activities:
- Co-Chair, IPN Working Group on Equity, Diversity & Inclusion
- Editor, Journal of Functional Programming
- Member, IFIP Working Group 2.8
Selected Projects:
- Accelerate: Optimized parallel computing for Haskell
- Cogent: Verified systems programming with uniqueness types
- EmoSTL: Formal verification of game emotion logic
۰مقاله منتشرشده
