Declan Thompson
Declan Thompson
Home
Blogs
All blogs
AI Generated Art
Blogic
Background
Experience
Education
Awards and Scholarships
Projects
Publications and Talks
Contact
Projects
Formal Characterisations of 'Algorithm'
Finding a characterisation of ‘algorithm’ that matches everyday usage.
Games on Networks
Exploring the interaction between logic and game theory, in games played on social networks.
Natural Deduction Planner
A proof assistant for generating Fitch-style natural deduction proofs.
Cite
×
