- Zürich
Block or Report
Block or report michelk
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
MeteoSwiss
MeteoSwiss
Federal Office of Meteorology and Climatology MeteoSwiss
Zurich, Geneva, Locarno, Payerne
Livelihoods and Landscapes
livelihoods-and-landscapes
Applied research project developing geospatial applications to support landscape management under changing climates in Pacific Island Countries.
Matt Bartos
mdbartos
Assistant Professor of Civil Engineering at UT Austin
@future-water, @ESIPFed Austin, TX
Patrick Bahr
pa-ba
Associate Professor in Programming Languages
IT University of Copenhagen Copenhagen, Denmark
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Principal Research Software Engineer at Lean FRO Portland, OR
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Christophe Dervieux
cderv
software engineer at @posit-pbc working on R Markdown ecosystem and @quarto-dev
https://posit.co Paris
Matt Tankersley
mdtanker
Geology / Geophysics Ph.D studying Antarctica with potential fields data.
Antarctic Research Centre, Victoria University of Wellington Wellington, New Zealand
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Kurt Hutten
Irev-Dev
Founding engineer at KittyCAD.
Also created http:https://cadhub.xyz
@KittyCAD Australia
Brian Gesiak
modocache
Programming language and compiler engineer. Contributor to LLVM, Clang, Swift, and the Move programming language.
@modularml New York, USA
Simeon H.K. Fitch
metasim
I build geospatial, big data, predictive analytics solutions in Rust & Scala. And Python when I have to.
DataShapes AI Charlottesville, VA
Carlos Scheidegger
cscheid
Building quarto.org at @quarto-dev and @posit-dev.
Posit (fka RStudio) Tucson, AZ
PreviousNext