Skip to content
View compor's full-sized avatar
☕
☕
41 followers · 49 following
  • University of Edinburgh
  • Edinburgh, Scotland, UK
  • 23:31 (UTC +01:00)

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report compor

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@emeryberger
Emery Berger emeryberger
Professor of Computer Science, UMass Amherst; Amazon Scholar. Co-director of @plasma-umass, Scalene, Slipcover, Coz, Hoard, and more. Creator of CSrankings.

University of Massachusetts Amherst Amherst, MA

@alastairreid
Alastair Reid alastairreid
Researcher working on formal specification and verification. (This is my personal account)

Intel Cambridge, United Kingdom

@AntonLydike
Anton Lydike AntonLydike
PhD Student at Edinburgh University, doing compilers and synthesis

The University of Edinburgh Edinburgh, Scotland

@opencompl
opencompl
@yamaguchi1024
Yuka Ikarashi yamaguchi1024
PhD candidate at MIT CSAIL

Cambridge, MA

@math-fehr
Mathieu Fehr math-fehr
PostDoc at the University of Cambridge. Working on compilers and formal verification.

University of Cambridge Cambridge, UK

@TaoBi22
Bea Healy TaoBi22
PhD Student at the University of Cambridge (Previously at University of Manchester and University of Edinburgh)

Cambridge, UK

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@PeiMu
Pei Mu PeiMu

The university of Edinburgh Edinburgh

@kimworrall
Kim Worrall kimworrall

University of Edinburgh Edinburgh

@superlopuh
Sasha Lopoukhine superlopuh

Cambridge, UK

@nazavode
Federico Ficarelli nazavode

Italia

@luisacicolini
Luisa Cicolini luisacicolini
creativity & formal methods enthusiast, engineer, phd student

University of Cambridge, @opencompl Cambridge

@zero9178
Markus Böck zero9178
Having fun with MLIR and LLVM

ETH Zurich Zurich

@cappadokes
Christos Lamprakos cappadokes
Journeyman
@KULeuven-MICAS
MICAS (KU Leuven) KULeuven-MICAS
We initiate, drive and realize breakthroughs in micro and nano-electronic systems, for a better and more comfortable life for everyone.

Belgium

@georgebisbas
George Bisbas georgebisbas
Researcher@Huawei | Ex Post-Doc Research Associate at Imperial College London | HPC research/dev

Huawei Zurich Research Center Zurich/London/Thessaloniki/Livadi

@PapyChacal
Emilien Bauer PapyChacal
PhD student at the University of Edinburgh

University of Edinburgh Edinburgh, UK

@riscv-non-isa
RISC-V Non-ISA Specifications riscv-non-isa
The Open-Standard Instruction Set Architecture

Switzerland

@systems-nuts
systems-nuts
Systems Software Research @ ICSA, School of Informatics, The University of Edinburgh
@blackgeorge-boom
Nikos Mavrogeorgis blackgeorge-boom
PhD Student at The University of Edinburgh
@lucjaulmes
Luc Jaulmes lucjaulmes
Senior Hardware Performance Analysis Engineer at Arm. Interested in computer architecture, high-performance computing and programming models.
@robcasloz
Roberto Castañeda Lozano robcasloz
Software Engineer (HotSpot JVM Compiler) @ Oracle

@oracle Stockholm, Sweden

@nunoplopes
Nuno Lopes nunoplopes

University of Lisbon Lisbon, Portugal

@hkaiser
Hartmut Kaiser hkaiser
@JonathanSalwan
Jonathan Salwan JonathanSalwan
Program analysis, reverse engineering and vulnerability research

France

@maximecb
Maxime Chevalier-Boisvert maximecb
PhD in compiler design. Also having fun with graphics, machine learning, electronics, music and DIY. All opinions are my own.

Montreal, Canada

@arthaud
Maxime Arthaud arthaud
Meta (formerly Facebook) Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.

@facebook Paris, France

@aykevl
Ayke aykevl

@tinygo-org Netherlands

@thedataking
Per Larsen thedataking
Systems programming & information security.

@immunant Irvine, CA

@andikleen
Andi Kleen andikleen
@lizrice
Liz Rice lizrice
Open Source @isovalent @cilium @ebpf-io @cisco | O'Reilly author "Learning eBPF" & "Container Security" | Emeritus @cncf GB & TOC | Emeritus @OpenUK board

@isovalent at @Cisco London

@lemire
Daniel Lemire lemire
Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers.

Université du Québec (TELUQ) Montreal, Quebec, Canada

@badair
Barrett Adair badair
@philsquared
Phil Nash philsquared
Long time C++ developer. Also into Swift, Python, Rust, F#, Objective-C and C#. Trainer and conference organiser.

Shaved Yaks UK

@nrc
Nick Cameron nrc
Formerly Rust at @microsoft, @rust-lang core team, @pingcap, @mozilla.

Wellington, NZ

@radare
pancake radare

nopcode

@ruihuili
Rui Li ruihuili
Research Scientist at Samsung AI Center Cambridge; PhD from Informatics, Uni. of Edinburgh #ML #AI #LLM #Efficiency

Samsung AI Center Cambridge, United Kingdom

@mattgodbolt
Matt Godbolt mattgodbolt
Compiler Explorer and jsbeeb creator, ex-Google, ex-games, now trading chap.

@compiler-explorer Chicago, IL

@pablo-aledo
pablo-aledo
@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@mbj
Markus Schirp mbj
Self inflicted complexity exorcist.

Schirp DSO LTD Malta

@sampsyo
Adrian Sampson sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".

Cornell University Ithaca, NY

@markus-kusano
Markus Kusano markus-kusano

Google New York, New York

@sean-parent
Sean Parent sean-parent

@adobe San Jose, CA

@Svenito
Sven Steinbauer Svenito

London, UK

@garybernhardt
Gary Bernhardt garybernhardt

Destroy All Software LLC Seattle, WA

@klmr
Konrad Rudolph klmr
Geneticist 🧬, computer scientist 𝝺 and software engineer 👨‍💻.

@Roche Basel, CH

@lvc
Andrey Ponomarenko lvc
A project to help developers of software libraries to maintain backward compatibility.

Cyberprotect (ex. Acronis)