Data scientist🧮 systems engineer🖥 problem-solver🧩 Rustacean🦀 out and proud 🏳️⚧️. Publication areas: combinatorics🌐🖇🕸 optimization🅾️⬆️💯 analysis➗🔣 computer-assisted proofs📃💾 linear algebra🔡🏁