Marcin Copik
mcopik
PhD student @ ETH working on high-performance serverless. HPC, parallel computing, FaaS computing, compilers, C++. Languages: EN, DE, PL
ETH Zürich Zürich, Switzerland
OmicsML
OmicsML
LLMs & Generative AI for omics data analysis (non-profit organization))
United States of America
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
Yann Herklotz
ymherklotz
Postdoc at EPFL in the Verification and Computer Architecture lab.
EPFL Lausanne
Bea Healy
TaoBi22
PhD Student at the University of Cambridge (Previously at University of Manchester and University of Edinburgh)
Cambridge, UK
Atticus Kuhn
AtticusKuhn
Computer Science Student at Trinity College, Cambridge
Cambridge, United Kingdom
Fehr Mathieu
math-fehr
Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.
University of Cambridge Cambridge, UK
Luisa Cicolini
luisacicolini
creativity and formal methods enthusiast, engineer, CS phd student
University of Cambridge, @opencompl Cambridge
Alastair Reid
alastairreid
Researcher working on formal specification and verification.
(This is my personal account)
Intel Cambridge, United Kingdom
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
OpenXLA
openxla
A community-driven, open source ML compiler ecosystem, using the best of XLA & MLIR.