about me
Resume and Such
Resume
GitLab
What I'm Interested In
This includes what I'm sort of interested in, very interested in, and interesting things I know hardly anything about.
- Functional Programming
- Haskell
- Racket
- Competitive Programming
- String Processing Algorithms (like suffix arrays and Aho Corasick's Algorithm)
- Computational Geometry
- Numerical PDEs
- Utility functions and social choice theory (like von Neumann Morgenstern utiligy
- Interval Arithmetic
- Game Theory
- Stochastic Modeling
- Scientific visualization (more than just matplotlib)
- Type theory
- Bayesian statistics
- Guassian processes (and generalized versions)
- Category Theory
- Wavelets
- Fourier analysis on locally compact abelian groups (and I suppose groups in general)
- Information Theory
- Lossy compression of time series data
- Rigorous fundamentals of pertubation theory
- Scala
- Erlang
- Elm
- Celestial Mechanics
- Sundials and their mottos
- Nondestructive evaluation
- Mathematical modeling of pianos
- Seismology
- Inverse Problems
- Geophyisical inverse problems
- Unconventional decision making tools and voting schemes
- Control Theory
- Ergodic Theory
- Signal theory and blind deconvolution
- Geometric Measure Theory
- Symmetries in PDEs and Noether's Theorem
- Convex optimization
- Linear programming
- Integer programming and it's applications in justice
- Nonlinear optimization
- Automatic differentiation and source code transformations
- Trust regions and line searches in optimization (like Adam's method)
- Monad Transformers and MonadFix
- Mathematical Logic (linear, modal, deontic, etc.)
- Killing Vector Fields
- GPU Programming
- Figuring out those pesky Haskell language extensions:
- Algebraic Topology
- Bayesian networks and applications of d-separation
- General Relativity
- Calculus of Variations and classical mechanics
- Model Theory
- Symbolic Programming
- Algebraic Geometry
- Differential Geometry
- Computer Architecture
- Machine-learning based A* heuristics
- Weird number bases (factoradic, gray codes, etc.)
- VR and AR interfaces to symbolic programming
- Weird programming language paradigms (dataflow, logic, visual, declarative)
- Literate pgrogramming
- Complexity theory and turing machines
- Weird neural network architecture
- Spectral clustering
- Kriging
- Bootstrapping linear regressions
- Bayesian statistics applied to model fitting
- Markov Chain Monte Carlo
- Non-additive noise in models
- Hamiltonian Monte Carlo
- Probability
- Combinatorics
- Additive Combinatorics
- Measure Theory
- Tensorflow
- Importance sampling
- Celtic knots (mathematical model and automatic generation)
- Wallpaper Groups
- Girih Tilings
- Watercolor Painting
- How Hardy-Weinberg is consistently taught incorrectly in statistics
- Bonferroni Inequalities and estimation of variance
- Ito calculus and stochastic integrals
- Filtrations (the mathematical kind)
- Martingales (semi-, super-, sub-)
- Statistical Learning
- Markov random fields
- Markov games
- Transfer operators in statistical mechanics
- Shift space and symbolic dynamics
- Biased estimators in statistics
- Solving minimization problems with cardinality constraints
- Artwork of Channa Horwitz
- d-separation
- Vecchia approximations of guassian processes
- Loss functions tuned to human acoustics
- Randomized algorithms
- Approximative algorithms to NP-complete problems (like subset sum)
- Rigorous Gauge Theory
- Simulation of Schrodinger like hyperbolic PDEs (dirac / proca-equation)
- Static Linear Elastic Theory
- Presheafs and sheafs
- Kernel PCA
- Tensor analysis
- Lossy compression of time series with wavelets
- Graph Laplacians
- C* algebras
- Lie groups and algebras
- Turbocodes
- Graph-based kernels
- Principle curves and surfaces (statistics)