Interested in the applications of topology and machine learining for proteine folding in the context of neurodegenerative diseases, especially early onset Parkinsons.

Upstream LLVM contributor and Formal Methods researcher. Expect a mix of technical posts interspersed with cute real-world musings.

Professor of computational mathematics at University of Ljubljana, Slovenia.

Utrecht, The Netherlands
Math, Astronomy, Physics, (Medieval) history, art, books, movies, all music from ultraviolet to infrared, and whatnot.

Professor in mathematical sciences, with cross-disciplinary interests in all of the sciences. Leading new research and teaching program, 'Mathematics Without Borders'. Research and publications in applied mathematics, physical and mathematical chemistry, Indigenous and First Nations mathematics and sciences, the emergence of life, thermochemical instabilities, complex dynamical systems, railways, country pub lunches.

She/her, widowed, with 3 children and 5 grandchildren

PhD student http://4c-computational.psychiatry.wisc.edu
Center for Sleep and Consciousness

Formerly: rackspace, Neubox, INB @unam_mx, Parabola GNU/Linux, CentroGeo, UAA_MX

Mathematician, computer scientist, bassist, knitter?

PhD student: Computer Science

Biophysicist, imaging scientist, cycling enthusiast. Head of the Advanced Light Microscopy Unit @ Centre for Genomic Regulation, Barcelona.

Canadian mathematician in the Netherlands. Constantly in pursuit of nice distributions, not only in combinatorics and probability, but also more broadly.

Technologist with interests in coding, retro digital electronics, learning, and continuous improvement.

Physics, mathematics and data science

I'm an applied mathematician with an interest in biomathematics and applied numerical mathematics. I am a proponent of open access (OA) publishing, open educational resources (OER), and free and open source software (FOSS). Any of my views expressed here are not necessarily those of my employer.

Researcher with the Gallinette team at INRIA in Nantes. Interested in various scientific aspects of computing and reasoning, particularly those related to the Curry-Howard correspondence. I like lindy-hop dancing, running, and riding my e-bicycle.

Semi-professional account:
- professional opinion: posts on the topic of CS/maths unless stated otherwise
- personal (though mostly about science): boosts, memes, non-public posts, posts outside of CS/maths (rare)

Research engineer, with an applied maths background.
Here for discussions about #mathematics, #stats, #MachineLearning, #nlp, #optimization...

Cover picture: https://landsat.gsfc.nasa.gov/your-name-in-landsat-interactive/

Category Theory, Semantics and Type Theory.

PhD student at CMU PoP group, studying type theory and programming languages.