Australian expat neuron wrangler. Director, Imperial College Centre for Neurotechnology. Research interests: neural coding of memory, neurodegenerative disorders, optical neurotechnology. Information theory geek, cyclist.

Code by conduct, math by training, music by passion.

Bifurcator, life motto:
𝘐 𝘤𝘰𝘯𝘵𝘦𝘯𝘥, 𝘩𝘰𝘸𝘦𝘷𝘦𝘳, 𝘵𝘩𝘢𝘵 𝘸𝘩𝘪𝘭𝘦 𝘰𝘶𝘳 𝘭𝘪𝘷𝘦𝘴
𝘯𝘦𝘦𝘥 𝘵𝘰 𝘣𝘦 𝘮𝘦𝘢𝘯𝘪𝘯𝘨𝘧𝘶𝘭, 𝘰𝘶𝘳 𝘸𝘰𝘳𝘬 𝘥𝘰𝘦𝘴 𝘯𝘰𝘵;
𝘪𝘵 𝘰𝘯𝘭𝘺 𝘩𝘢𝘴 𝘵𝘰 𝘣𝘦 𝘩𝘰𝘯𝘦𝘴𝘵 𝘢𝘯𝘥 𝘶𝘴𝘦𝘧𝘶𝘭.
(Tʜᴏᴍᴀs Mᴀʟᴏɴᴇʏ)

Also member of the #GNU_Taler developer team.

-missing canonicity with AOC
~~(LEM + ~LEM)
|| LEM + ~LEM || (because ~~LEM is provable in MLTT)
(a * x ^ y) % z

as

(((a * x) % z) * x ^ (y - 1)) % z

newtype Flat f a = Flat (Vector |Rep f | a)

Boring tech guy. Former professional philosopher.

Unremarkable cis-het middle-class able-bodied white guy. He/Him.

Irish/British. Currently living in Leeds. Former resident of Luxembourg, Germany and Netherlands.

This toot will self destruct in one month.

Associated Professor of Physics at the University of Exeter.
Scientific visualizations (grouped under the hastag #PhysicsFactlet).
He/lui/on. All opinions are my own fault.

Applied statistician at UW-Madison, interested in longitudinal data analysis, reproducible workflows, and Alzheimer's disease. Views mine; all my errors are independent.

Retired husband/father/grandfather living in the US. Interests include #science, #math, #evolution, #machinelearning, #physics, #finance, #markets, #climatechange, #biology, #surfing, #music, and our #oceans.

B.Sc. in Biology, M.Sc. in Computer Science.

Former Director, Advanced Network Technology Center at the University of Oregon.

Former Chief Scientist, VP and Fellow at Brocade Communications Systems.

Former Senior Scientist at Sprint.

Former Distinguished Engineer at Cisco Systems.

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him)

Programmer, math dabbler, he/him

I'm a mathematical physicist who likes explaining stuff. I'm the Maxwell Fellow of Public Engagement at the School of Mathematics and the School of Physics and Astronomy at the University of Edinburgh.

Check out my blog Azimuth! I'm also a member of the n-Category Café, a group blog on math with an emphasis on category theory. I also have a YouTube channel, full of talks about math, physics and the future.

Experienced programmer. Math beginner. Interested in automated reasoning, visual proof assistants, diagrammatic reasoning, geometric algebra, math education etc. Fan of #3Blue1Brown.

Studying mathematical/theoretical/computational neuroscience & data science in dᶻidᶻəlal̓ič (Seattle)
⚧ ND ⬛

I am a science fiction writer and computer programmer.
Latest novel: MORPHOTROPHIC.
Latest collection: SLEEP AND THE SOUL.
Web site: gregegan.net

I'm kind of a Marmite person, in that I'm essentially a byproduct of the brewing industry.

Manchester MathsJam regular and occasional tamed programmer for the Nerds. Bi/polyam

Physicist, professor in UCLouvain, working on applied math, inverse problems in optics and astronomy for imaging, and compressive sensing theory and applications. I also like playing volleyball, Sci-fi novels, podcasts, emacs, org-mode, and all kinds of beers. All toots/boosts/views mine.

#CompressiveSensing #SignalProcessing #InverseProblem #Optimization #ComputationalImaging #Emacs #OrgMode #SciFi

Theoretical engineer (aerospace and biomedical), associate professor of continuum mechanics, ex-petrolhead turned eco-warrior (worrier?), FOSS advocate, non-competitive cyclist, general outdoor enthusiast, renaissance man, beginner lutenist.

he/him

All posts auto-delete after a while to reduce CO2 footprint.

How does the brain work? Someday, we'll figure it out.

Group Leader, MRC LMB, and Professor, University of Cambridge, UK.

#neuroscience #Drosophila #ScientificPublishing #academia #TrakEM2 #FijiSc #CATMAID #connectomics #connectome #vEM #iNaturalist #entomology
Born at 335 ppm.

Brains, signal processing, software and entomology: there will be bugs.

"mathematician" | Topos Institute, Oxford

zbMATH Open is the world’s most comprehensive and longest-running reviewing service in mathematics, edited by the European Mathematical Society @EuroMathSoc, the Heidelberg Academy of Sciences and Humanities, and FIZ Karlsruhe.