Welcome to the Home Page of Ben Sprott
I have recently completed the requirements for my MSc in Comptuer Science at McGill University. I also have an MSc in Physics from the University of Waterloo where I was a member of the Perimeter Institute. Of late, my focus has been on animation, video games and web applications. To that end, I have taken courses in graphics, animation, video games, distritubed systems, and cryptography. I have also done a fairly involved project in animation focusing on cloth simulation. During my studies I have been trained in the following skills:
- Java programing language
- OpenGL and jogl
- Physics
based animation
- Integration
schemes for ODE's and DAE
- Forward and Symplectic Euler
- RK4
- verlets
- Integrating
constrained systems
- conjugate gradients for solving linear systems
- constraint graphs
- minimum spanning trees and related algorithms of Prim and Kruskal
- motion capture
- distributed
system design
- middleware
- replication
- recovery and persistence
- two-phase commit
- threads for concurrency in Java
- Java Remote Method Invocation (RMI)
- TCP sockets
- dead reconing
- A* algorithm for basic AI
I was previously a research assistant for Prakash Panangaden in the Computer Science department at McGill. Under his guidance, I learned some of the many exciting new applications of Category Theory to both physics and computer science. Specifically, we were attempting to expand his work on the Quantum Causal Dynamics to include simple optical devices. Our goal was to probe some of the famous quantum interference experiments in a causal mechanics using a symmetric monoidal category.
Before that, I worked with Lucien Hardy at the Perimeter Institute on expanding his thoughts on the quantum automaton. My thesis focused on the word problem for the one way quantum automaton and contains an interesting new theorem.
I have had the distinct pleasure of working as an optical test specialist at Metrophotonics and JDSU in Ottawa. My work there focused on the testing of optical amplifiers in high volume production, the testing of electro-optical chips for DWDM and dynamic channel monitoring and helping to manage an R&D focused optics lab.
Over the years, I have written a collection of papers which generally demonstrate the power of presenting structures amongst the transformations of different categories of mathematical objects such as topological manifolds and Hilbert spaces. I developed the beginnings of a quantum computational linguistic model, attempted to give a kind of relational statistics and hence an entropy for knots and tangles and I investigated Rob Spekkens' Toy Model as a means of probing questions of ontology and epistemology in quantum theory.
