👋 Hi, I’m @andfranklin 👀 I’m interested in Formal Methods, Numerical Methods, PDEs, etc. 🌱 I’m currently learning Rust.