8000
Skip to content
View bollu's full-sized avatar
795 followers · 255 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@rocq-prover @sagemath @fpindia @iiittheorygroup

Block or report bollu

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
@datvo06
Dat Nguyen (Marc) datvo06
Postdoc @ Harvard & Basis

Harvard University & Basis Research Institute Cambridge, MA, USA

@annabigatti
Anna M Bigatti annabigatti
Working in CoCoA since 1989 https://sites.google.com/view/cocoa-cocoalib

Univ. degli Studi di Genova Genova, Italy

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@TodePond
Lu Wilson TodePond
slightly-surreal creative-coding

tldraw London, UK

@jswrenn
Jack Wrenn jswrenn

New York, NY

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

Cambridge, UK

@davean
davean

xkcd inc

@rohan-sawhney
Rohan Sawhney rohan-sawhney
@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers. Working on @dart-lang at @google.

Google London

@Newmu
Alec Radford Newmu

@openai San Francisco, CA

@zortax
Leonard Seibold zortax
Student at TU Berlin

Berlin, Germany

@Roger-luo
Xiu-zhe (Roger) Luo Roger-luo
I cast quantum spells.

@QuEraComputing Toronto

@mayakraft
Maya Kraft mayakraft
@dbeyer
Dirk Beyer dbeyer

LMU Munich Munich, Germany

@ammkrn
Chris Bailey ammkrn
@xinhjBrant
Huajian Xin xinhjBrant

the University of Edinburgh

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@hydra-synth
hydra hydra-synth
@mmaroti
Miklos Maroti mmaroti

University of Szeged Hungary

@mppf
Michael Ferguson mppf

HPE

@lephe
Sébastien Michelland lephe
Compilers, systems, and calculator hobbyist. See https://git.planet-casio.com/Lephenixnoir for more.
@favonia
favonia favonia
Teaching at U of Minnesota
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@fattorib
ben fattori fattorib
doing a bit of this and that
@StellaAthena
Stella Biderman StellaAthena
Democratizing language models and understanding how they work

Booz Allen Hamilton, EleutherAI

@f64u
Fady Adal f64u

Cairo, Egypt

@tperami
Thibaut Pérami tperami
CS PhD student at the University of Cambridge

University of Cambridge Cambridge

@owickstrom
Oskar Wickström owickstrom
Software design, testing, functional programming.

Independent Sweden

@ineol
Léo Stefanesco ineol
@zackradisic
Zack Radisic zackradisic
building stuff
@shlomnissan
Shlomi Nissan shlomnissan

@chanzuckerberg San Francisco

@LiamSchilling
William (Liam) Schilling LiamSchilling
Machine Learning for Finite-State Models of Language | Interactive Theorem Proving and Automated Reasoning

Carnegie Mellon University Pittsburgh, PA

@Garmelon
Garmelon
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@emilyhunt
Emily Hunt emilyhunt
astronomy postdoc. tea drinker

University of Vienna

@eqrion
Ryan Hunt eqrion
Working on WebAssembly @ Mozilla

@mozilla Minnesota, USA

@fabianschuiki
Fabian Schuiki fabianschuiki
Senior Staff Hardware Compiler Engineer at SiFive. PhD in Computer Architecture.

SiFive Silicon Valley, California

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@kach
Kartik Chandra kach

MIT CSAIL Cambridge, MA

@andreimargeloiu
Andrei Margeloiu andreimargeloiu
PhD in Machine Learning at University of Cambridge, Google HashCode World Finalist, 3x Gold medals in Computing Olympiad

University of Cambridge Cambridge, UK

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@JLimperg
Jannis Limperg JLimperg
Applied Scientist @ AWS

AWS Munich, Germany

@nategraf
Victor Snyder-Graf nategraf

@risc0 Seattle, WA

@vbgl
Vincent Laporte vbgl
@wkrozowski
Wojciech Różowski wkrozowski
Research Software Engineer @ Lean FRO

@leanprover London

@fmontesi
Fabrizio Montesi fmontesi
Professor of Computer Science, Danish Institute for Advanced Study (DIAS) and University of Southern Denmark

Danish Institute for Advanced Study / University of Southern Denmark / italianaSoftware s.r.l.

@eliben
Eli Bendersky eliben

@google California

@Mogball
Jeff Niu Mogball
@tanujkhattar
Tanuj Khattar tanujkhattar
Software engineer turned Research Scientist @ Google Quantum AI

Google Los Angeles

@jacobjwalters
Jacob Walters jacobjwalters
Kotlin Uniqueness @ JetBrains. Second year programming languages Ph.D. student @ University of Edinburgh. Co-founder of TypeSig.

LFCS (UoE) Edinburgh

0