Skip to content
View angelhof's full-sized avatar
107 followers · 46 following

Achievements

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

Achievements

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

Highlights

  • Pro

Organizations

@binpash

Block or report angelhof

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@BolunThompson
Bolun Thompson BolunThompson
My legal name is Aaron Bolun Thompson. I’m a UCLA student and a San Diego native!

Student Los Angeles

@arjunguha
Arjun Guha arjunguha
hacker / cs professor

@nuprl Boston, MA

@Mellonta
Haoran Zhang Mellonta

Meta Bellevue, WA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@semaj
james larisch semaj
computers listen to me

Cloudflare

@spyrospav
Spyros Pavlatos spyrospav
PhD student at Penn

University of Pennsylvania Philadelphia

@dylanaraps
dylan dylanaraps
self taught, creator of @kisslinux
@mpmilano
Mae Milano mpmilano
@liangcheng-yu
Liangcheng (LC) Yu liangcheng-yu
Systems and networking
@starpit
Nick Mitchell starpit

IBM Research New York

@tianyin
Tianyin Xu tianyin
Watchman in the cornfield

University of Illinois at Urbana-Champaign Urbana

@Jiali-Xing
Jiali Xing Jiali-Xing
A CIS PhD student. #FOSS, #CompSci, #Econ, #ESE, #PoliSci, #Meme, #Game, #History, #Linguistics

University of Pennsylvania Philly<-Duke.edu<-武漢大學

@gzacha
Yannis Zacharopoulos gzacha
🧙🏼‍♂️ DTU

copenhagen

@sapostolakis
Sotiris Apostolakis sapostolakis

Google Princeton, NJ

@dspinellis
Diomidis Spinellis dspinellis
Professor of Software Engineering at AUEB and of Software Analytics at TU Delft, programmer, and technology author.

Athens University of Economics and Business & Delft University of Technology Athens, Greece

@nickgian
Nick Giannarakis nickgian

AWS Seattle, WA

@elefthei
Lef Ioannidis elefthei
PhD candidate at Penn working in verification and programming languages.

University of Pennsylvania Philadelphia, PA

@mgree
Michael Greenberg mgree

Stevens Institute of Technology New Jersey

@philliard3
Phillip Hilliard philliard3
Computer Science PhD Student
@xnning
Ningning xnning
Types are all you need.

University of Toronto

@frankmcsherry
Frank McSherry frankmcsherry

@MaterializeInc New York, NY

@vasia
Vasiliki (Vasia) Kalavri vasia
Assistant Professor

Boston University Boston, MA

@nikivazou
Niki Vazou nikivazou
Research Assistant Professor and Haskeller

IMDEA Madrid

@kostis
Kostis Sagonas kostis

NTUA, Greece + Uppsala University, Sweden Athens + Uppsala

@AntonXue
Anton Xue AntonXue
@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@dunnl
Lawrence Dunn dunnl
@euisuny
Irene Yoon euisuny
@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science

University of Toronto Toronto, Ontario

@hengchu
hengchu
@YaZko
Yannick Zakowski YaZko
@michael-emmi
Michael Emmi michael-emmi

Amazon Web Services New York

@Chobbes
Calvin Beck Chobbes

Philadelphia

@omnone
Konstantinos Bourantas omnone

Athens,Greece

@nvasilakis
Nikos Vasilakis nvasilakis

Boston, MA

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@Aliyun Shanghai Xuhui

@Lysxia
Xia Li-yao Lysxia
@stikos
Konstantinos Christos Liosis stikos
Bioinformatics Engineer @papaemmelab NY

Memorial Sloan Kettering Cancer Center

@statho
Anastasis Stathopoulos statho
Research Scientist at FAIR, Meta.

@facebookresearch New York City, NY, USA

@gsakkas
George Sakkas gsakkas
I'm a PhD candidate at the UCSD PL group. My research is on Programming Languages and my interests are focused on Neurosymbolic Program Repair and Synthesis.

San Diego, CA

@nmandilaras
Nikiforos Mandilaras nmandilaras
Master in Data Science and Machine Learning (NTUA). Integrated Master in Electrical and Computer Engineering (NTUA).

National Technical University of Athens Athens, Greece

@manosth
Emmanouil Theodosis manosth
PhD student in Computer Science at Harvard, working on the theory of deep learning.

Harvard University Boston, MA

@abenetopoulos
Achilles Benetopoulos abenetopoulos

Santa Cruz, CA

@etzinis
Efthymios Tzinis etzinis
Research Scientist @google

Google LLC Cambridge, MA, USA

@stavrosbir
Stavros Birmpilis stavrosbir

Athens