8000 Zhang-Liao (Zhang-Liao) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Zhang-Liao's full-sized avatar
15 followers · 179 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report Zhang-Liao

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
@Unispac
Xiangyu Qi Unispac
PHD student @ Princeton ECE.

Princeton ECE Princeton, NJ, USA

@YaoMarkMu
Yao(Mark) Mu YaoMarkMu
I am currently a Ph.D. Candidate of Computer Science at the University of Hong Kong, fortunately supervised by Prof. Ping Luo at HKUMMLAB.

Hong Kong

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team at CNRS, ENS de Lyon, UCBL, LIP | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection

Lyon, France

@ybertot
Yves Bertot ybertot

Inria

@ggonthier
Georges Gonthier ggonthier

Inria Saclay, France

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@ChuyueSun
Chuyue Sun ChuyueSun

Stanford University

@affeldt-aist
affeldt-aist
@hoheinzollern
Alessandro Bruni hoheinzollern
@vadimkantorov
Vadim Kantorov vadimkantorov
PhD student in computer vision @ INRIA / WILLOW

INRIA Paris, France

@Lean-zh
Lean 中文文档翻译 Lean-zh
@makarius
makarius makarius
NOTE: My preferred way of collaboration is via decentralized services, such as my own https://vcs.sketis.net (by invitation only).
@QinshiWang
Qinshi Wang QinshiWang
@verified-network-toolchain
Verified Network Toolchain verified-network-toolchain
Network programming in P4, C, and other languages, with programs and compilers formally specified and verified for functional correctness
@feifeibear
Jiarui Fang（方佳瑞） feifeibear
Democratizing AGI

Shanghai, China

@kfdong
Kefan Dong kfdong
Ph.D. student, CS department, Stanford
@artoy
Ryota Kobayashi artoy

Tokyo

@atrn0
Arata Sato atrn0

Tokyo

@loloicci
TAKASE Ryo (loloicci) loloicci

LINE Corp. Tokyo, Japan

@woxjro
woxjro woxjro
Crypto Developer | Ethereum Grantee

Kyoto

@ymyzk
Yusuke Miyazaki ymyzk
Site Reliability Engineer / Software Engineer

@indeedeng / @indeedops Japan

@yigarashi-9
Yuu Igarashi yigarashi-9

Kyoto

@aigarashi
Atsushi Igarashi aigarashi

Kyoto University Kyoto, Japan

@SoftwareFoundationGroupAtKyotoU
Software Foundation Group SoftwareFoundationGroupAtKyotoU
@K-dizzled
Andrei Kozyrev K-dizzled
@Unakar
Xie Tian Unakar
Pushing AGI, Beyond Limits

Beijing, China

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

Davis, California, USA

@moonbit-community
moonbit-community
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@GasStationManager
GasStationManager
Independent AI researcher
@plclub
The Penn PL Club plclub
@conrad-watt
Conrad Watt conrad-watt
Assistant Professor, NTU - see my website for open positions in Singapore. Co-chair of the WebAssembly Community Group.

Nanyang Technological University

@shmsw25
Sewon Min shmsw25
PhD student @uwnlp

University of Washington Seattle, WA

@tonywu95
Yuhuai(Tony) Wu tonywu95
Researcher
@bzhan
Bohua Zhan bzhan
Associate Research Professor. Institute of Software, Chinese Academy of Sciences.
@leanprover
Lean leanprover
Lean Prover
@bridgekat
Zhanrong Qiao bridgekat
😇 I am a master's student at Imperial, interested in creating semi-automated theorem provers...

@ImperialCollegeLondon

@vickiegpt
Yiwei Yang vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.

Baskin Engineering Santa Cruz, California

@bojone
苏剑林(Jianlin Su) bojone
科学爱好者
@tqchen
Tianqi Chen tqchen
Machine Learning and Systems

CMU, NVIDIA

@yuandong-tian
Yuandong Tian yuandong-tian
Research Scientist in Meta AI Research (FAIR)

Facebook

@ZichaoLong
Zichao Long ZichaoLong

Peking University Beijing, China

@lenianiva
Leni Aniva lenianiva
Stuck in engineering hell

Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo

@mli
Mu Li mli

Boson AI Palo Alto, CA

@Wenda302
Wenda Li Wenda302
Lecturer in Hybrid AI at the University of Edinburgh

University of Cambridge

@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@zhourunlong
Vector Zhou zhourunlong
江山还似旧温柔

Paul G. Allen School of Computer Science & Engineering, University of Washington Seattle

@wiseodd
Agustinus Kristiadi wiseodd
Neovim (btw)

Vector Institute Toronto

@JLimperg
Jannis Limperg JLimperg
Applied Scientist @ AWS

AWS Munich, Germany

0