Jack Haviland

• About
• •
• Research
• •
• Talks
• •
• Code
• •
• Writing

Coding Projects

• Two-dimensional gravitational lensing visualization
• Proof verification tool (Python version)
• (Python) Graphical interface for modal logic