ASF
Keeping a Prediction-Market Book Fresh, QuicklySurgery in membrane fusionSemantic Segmentation: Resolving a Domain and Typing its PiecesChaos-generating periodic orbits of topological defects in confined active nematicsA High School Student's Introduction to PhysicsConfiguration-Space Curvature and the Navier–Stokes Singular SetLinear Algebra I: Vector Spaces and Linear MapsQuaternions Are the Rotors of SpaceMathematical PharmacologyClassical Mechanics from Zero, in Two LanguagesConfiguration-Space Curvature and the Navier–Stokes Singular SetCausal Models of ConcurrencyAn FFT for every GPU: ferrum-gpu and gpufftActive k-atic Fluids on Riemannian 3-ManifoldsInterstellar: a brane-bulk readingFrom RVE to Mesh: A Pipeline for Heterogeneous ContinuaAnalysis on Manifolds V: Stokes’ TheoremAnalysis on Manifolds IV: IntegrationAnalysis on Manifolds III: Differential FormsAnalysis on Manifolds II: Exterior AlgebraProbability and Statistics: A Geometric FoundationNumerical Analysis via Discrete Exterior CalculusAccounting in Quantitative Finance and Algorithmic TradingAnalysis on Manifolds I: Analysis on ℝⁿPerformance Measurement Under UncertaintyThe Kelly Criterion from Shannon Information TheoryReservoir Geometry: Riemannian Manifolds in Oil and GasRust, from first principlesMaxwell's Equations and Gauge Theory: Electromagnetism as a Principal BundleNavier–Stokes: Derivation in ℝ³ and on a Riemannian ManifoldPrice as Geometry: Resolution, Coarse-Graining, and the Structure of Market NoiseDiffusion on Curved SpacesManifolds: The Language of Modern GeometryKuramoto: How Order Emerges from ChaosBTC/ETH Lead-Lag: Resolution-Dependent Direction Reversal on Binance Spot
sotofranco.dev

Alejandro Soto Franco

MathsRustCUDAQuant

Working at the intersection of PDE theory, geometric analysis, and high-performance quantitative systems. Research spans fluid mechanics, active matter physics, and non-stationary stochastic models of financial markets.

15,128

crates.io downloads

32

Articles

14

Open Source Projects

Lean 4

Stack