Skip to content
View fallcat's full-sized avatar
18 followers · 22 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
Block or Report

Block or report fallcat

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
@jacobsomer
Jacob Somer jacobsomer
Aspiring software engineer interested in learning, building, and helping people through code

Falls Church, VA

@2292458069
YJL 2292458069
@andrew-wzj
RJ andrew-wzj
Gordon College '24 CS&Math
@knbndy
Ken Bandy knbndy
Former prof and academic leader.

Missouri, USA

@chaojiang06
Chao Jiang chaojiang06
@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems. Contributor to Z3.

Davis, California, USA

@pipigenius
pipigenius
@JiamingSuen
Jiaming Sun JiamingSuen

ZJU-3DV Hangzhou, Zhejiang

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.

@Alibaba Shanghai

@why2011btv
Haoyu Wang why2011btv
CS PhD Student @upenn

@CogComp Philadelphia

@kuang-da
Da (Derek) Kuang kuang-da
CIS Ph.D. student @ UPenn

@kimpenn Philadelphia

@hfxunlp
Hongfei Xu hfxunlp
I get my PhD (summa cum laude) from Saarland University at December 2021, under the supervision of Prof. Dr. Josef van Genabith and Prof. Dr. Deyi Xiong.

Zhengzhou University Zhengzhou, China

@fly51fly
爱可可-爱生活 fly51fly
BUPT prof | Sharing latest AI papers & insights | Join me in embracing the AI revolution! #MachineLearning #AI #Innovation

PRIS BeiJing

@icespike-x
IceSpike icespike-x
A Go player
@featurecat
featurecat
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Shenzhen / Heidelberg

@Mizkoeu
Mike Zou Mizkoeu
Currently a computer science student studying at Grinnell College
@superpowers11
superpowers11