Interested in smart puzzles, math popularization, combinatorics, data structures, Rust, some molecular biology, and more.
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. "
SW development @ Avast, evolution + theoretical biology @ natur.cuni.cz.
Profi sleeping @ home.
I use Arch, btw.
A lifelong #philomath, #STEM (#Science, #Technology, #Engineering, and #Mathematics) enthusiast, #traveller, #adventurer, and #multipotentialite with interests spanning multiple fields, including pure and applied mathematics, basic and applied sciences, mathematical modelling and analysis, scientific computing, information security (#InfoSec), #geography, #history, and #philosophy.
Self proclaimed and certified mathematician with a love for insects, a high interest in the concept of learning and the mission to build cool things
"mathematician" | Topos Institute, Oxford
PhD student at Aarhus Uni
Formal Verification/Probability/Concurrency
If I cant have love, I want power.
(Mostly non maths related posting)
A simple person, with some very complicated ideas. Trans woman. Computer programmer. Science and math fan. Amateur writer. Amateur game designer. Curious about too many things.
Uma pessoa simples, com umas ideias muito complicadas. Mulher trans. Programadora de computador. Fã de ciência e matemática. Escritora amadora. Criadora de jogos amadora. Curiosa sobre um bocado de coisas.
Categories, computer science and logic
Professor at the Department of Computer Science, University of Salzburg, Austria, working on graph algorithms
I support the initiative "Theoretical Computer Scientists for Future" (https://tcs4f.org/).
