Scott Owens
Has grant
Reader
United KingdomResearch Interests
Explore related searches
About
Scott Owens is a Reader at the University of Kent in the United Kingdom. His research focuses on dynamic computation, particularly in the context of CakeML, as illustrated in his recent article titled "Cakes That Bake Cakes: Dynamic Computation in CakeML." With a strong emphasis on formal methods in programming languages, he contributes significantly to the field through both teaching and research.
Recent Grants
Grant: Close
Verifiably Correct Transactional Memory
Open Date: 2018-08-31
Close Date: 2021-08-30
Grant: Close
Trustworthy refactoring
Open Date: 2016-08-31
Close Date: 2020-02-29
Grant: Close
Verifying concurrent algorithms on Weak Memory Models
Open Date: 2015-04-30
Close Date: 2018-10-31
Grant: Close
Relaxed Memory Model Design for Theory and Practice
Open Date: 2014-01-07
Close Date: 2016-01-06
Articles (1)
Year:
2023
Collaborators (1)
Oskar Abrahamsson
Chalmers University of Technology
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.