Retired from software {Google, Yahoo, start-ups, IBM, BNR}; sometime bicyclist, sailor, & non-gardener; easily amused by PL design and type inferencing.
Los Altos, California (previously Tokyo, Osaka, Toronto, Ottawa, Victoria, Vancouver)
Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.
I'm a computer scientist at the University of California, Irvine, interested in algorithms, data structures, discrete geometry, and graph theory.
τεχniker ist informiert.
more 2 follow.
Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.
I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".
But mostly about maths.
I tend to follow back, but only if you have something in your profile.
An impostor in this server. Not a mathematician, yet has always been fascinated about it.
Data Strategy, Building organizations building systems, Mathematics
Director Services @ eccenca
Chair OMG Enterprise Knowledge Graph Platform Task Force
Interested in #InformationTheory #complexity #AI #epistemology
#DataStrategy #DataGovernance #KnowledgeGraphs = #SemiGroupoids #DataProducts #ontologies #logics #CategoryTheory #Algebra #RoadCycling
Assoc. Professor @ CU Boulder Comp. Sci. & Math; Research interests: theoretical computer science, pure mathematics, and complex systems.
Other interests: climate change; accurate (long)COVID info; equity, inclusion, & accessibility; improving academia. #BlackLivesMatter #TransRightsAreHumanRights #LandBack #CovidIsAirborne #CleanTheAir #StillMasking #MaskUp #YallMasking #TCS #TheoryCS #math #ComplexSystems #complexity (both kinds) #academia
I'm a computational neuroscientist & software engineer. Colors, photos, brains, nature, science, software & chess, preferably all at the same time!
Retired physicist, after a career in machine learning & stats mostly for cancer drug discovery. Now blogging about stats in the news.
Avatar: convergence basins in the complex plane of Newton's algorithm searching for the cube roots of unity. (After a NYT column by @stevenstrogatz, long ago.)
Header: Quote from GK Chesterton, London Daily News, 1905-Aug-16 on epistemic humility and the ability to say "I am wrong" as the foundation of idealism.
Question: How many people like me does it take to screw in a light bulb?
Answer: 0.9967±0.004 (after six iterations).
Coder. Mathematician. Hacker-errant.
You can also email me at jordigh@octave.org
Please say something to me before following me! I'll have to carefully scrutinise your follow request if we haven't exchanged any words, but I'll probably approve it right away if you at least say hi. It's more work for me if you request a follow without any previous interaction.
I'm married; no flirting please.
Computer Scientist, husband, father and comedian (he/him)
Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him
- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.
In love with math, jazz, indian music and poetry. ⏚
The UPC Dynamical Systems Group is a wide group of researchers in #Mathematics at the Universitat Politècnica de #Catalunya (#UPC #Barcelona) working in applied and theoretical aspects of #DynamicalSystems.
Building NLP tools for science docs. LaTeXML dev.
Software Engineer at arXiv;
Creator of http://ar5iv.org
A modern commutative diagram editor for the web.
Using quantitative computational modeling as scientific instrument. Prof at Uni Duisburg-Essen. Science & art addict. Posts my own.
#computationalmodeling #bayes #bioinformatics #immunesystem #cancer #infections #education #HTseq #art #poeticnaturalism
