Sifter of patterns, collector of books, maker of jigs, random math weirdo, writer, artist, poet, musician, polymath...(location: Hopefully with Wonko the Sane)

Mathematician (Applied & Numerical Analysis) → Software Engineer
Complex analysis, asymptotics, Γ and ζ obsession
Currently balancing real life like a tightrope
Posts: deep math, visualizations, proofs-in-progress

Interested in mathematics (homotopy theory, category theory, topos theory), programming languages, and philosophy.

Likes to shuffle bits. Developer of the Egel language, see https://egel-lang.github.io/

Aspiring/amateur geometer. Learning to be better
22 with a Skywalker ambition

#AlgorithmicArt #IslamicGeometricPatterns #Polyhedra #DesignerMaker

I never know what to put here

Nací, crecí, me reproduje. De momento, nada más.

IT advisor, developer, Ph.D, assistant professor
#Offroad #4x4

Senior Researcher UNIL in Contemporary and Digital History - Dr in History (International Organizations, League of Nations) - Digital Humanities - Network Analysis and Visualization.

#histodon #digitalhumanities

Autodidact doing some hobby research around CS and applied math.

Experienced generalist programmer and system engineer.

Main account: @promovicz.

Interested in smart puzzles, math popularization, combinatorics, data structures, Rust, some molecular biology, and more.

#bongardproblem

Prof of Digital Computation at Imperial College. Director, Early Career Researcher Institute. Vice Chair Imperial College Maths School. Views own. Blog at http://constantinides.net

"Not everything written is important; not everything important is written."
------
sometimes accused of actually knowing what I'm talking about

PhD student at the FP Lab, University of Nottingham. I'm interested in homotopy type theory, higher category theory, and constructive math.

Associate Professor at the Department of Engineering, University of Fukui. Talk logic, mathematics, computer science and occasionally philosophy

"This bio is left as an exercise to the reader. "