Danielle Marshall
Research Associate
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDanielle Marshall is a research-focused programming languages specialist with nine years of experience spanning academia and industry, currently a postdoctoral Research Associate on the Stardust project at the University of Glasgow. Nearing completion of an EPSRC-funded PhD in Programming Languages and Systems from the University of Kent, she has blended teaching and research as an Assistant Lecturer and contributed to language tooling during a programming languages internship at Huawei. Her interests center on functional programming, language design and implementation, category theory, and mathematical logic, with practical experience building a GHC plugin for educational validation of Haskell code. Danielle’s background in high-performance simulation and a joint Computer Science and Mathematics MComp gives her a rare mix of theoretical rigor and systems-level engineering. She brings an educator’s perspective to research, often focusing on tools that bridge classroom needs and real-world language implementation.
9 years of coding experience
1 year of employment as a software developer
A Levels, Maths (A*), Further Maths (A), Physics (A), Chemistry (A), EPQ (A*), A Levels, Maths (A*), Further Maths (A), Physics (A), Chemistry (A), EPQ (A*) at Longley Park Sixth Form CollegeMComp, Computer Science with Mathematics, MComp, Computer Science with Mathematics at The University of SheffieldDoctor of Philosophy - PhD, Programming Languages and Systems, Doctor of Philosophy - PhD, Programming Languages and Systems at University of Kent
Github Skills (25)
fiddle10
logic-programming10
declarative-programming10
prolog10
mojo10
polymorphism9
agda9
stack-based9
idris9
functional-programming9
ghcjs9
type-theory9
codeworld9
haskell8
dependent-types8
Programming languages (4)
Github contributions (5)
starsandspirals/granule
Jan 2021 - Jan 2024
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Contributions:68 pushes, 7 branches in 3 years
functional-languagepolymorphismmodalfunctional-programmingstatically-typed
starsandspirals/codeworld
Jun 2019 - Aug 2019
Educational computer programming environment using Haskell
Contributions:20 pushes in 2 months
programming-environmentlanguage-designhaskellfiddlehackage
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.