Skip to content
View SkySkimmer's full-sized avatar
65 followers · 0 following
  • Inria

Achievements

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

Achievements

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

Block or report SkySkimmer

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
@alxbnct
Yosef Weissmann alxbnct
@Rw1nd
Jian Fang Rw1nd
I'm interesting in software verification.

Peking University Beijing, China

@start974
Jeremy Damour start974

Paris

@wrsturgeon
Will Sturgeon wrsturgeon
CS+CogSci @ UPenn

University of Pennsylvania Los Angeles, CA

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@CircuitCoder
Liu Xiaoyi CircuitCoder
Meow~

Tsinghua University / @tuna Beijing, China

@Montiwa11
Montiwa Doungtal Montiwa11
@imbrem
Jad Ghalayini imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations

University of Cambridge Cambridge, United Kingdom

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@senthil28
senthil28
@shpark
Seonghyun Park shpark
Embracing mediocrity [work=@seonghp]
@Villetaneuse
Pierre Rousselin Villetaneuse
Computer science teacher at Université Sorbonne Paris Nord
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@Colliot2
太閤立志伝 Colliot2
@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@ghuysmans
ghuysmans

Belgium

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@SeshatCZ
SeshatCZ

Czech republic

@Thoth87
varList Thoth87
@Alizter
Ali Caglayan Alizter

London, United Kingdom

@Zawawa414
Zawawa414
@bond15
bond15
Formal Methods Research Scientist @ Two Six

Two Six Labs Seattle Washington

@Renjie1997
jayjiang Renjie1997
a fresh man to the programming

null （now） china

@VitalyAnkh
VitalyR VitalyAnkh
Learning mathematics.

Mars

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@InnovativeInventor
Max Fan InnovativeInventor
CS PhD at Cornell. PL things mostly.

Cornell University

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@beike-zh
beike-zh
@amir
Amir M. Saeid amir

Dublin, Ireland

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@dgfug
khigh dgfug
@Magicianred
Simone Paolucci Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source

Italy

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Yu-zh
Yu Zhang Yu-zh

Yale University New Haven, CT

@void4
void4
@flaviodemoura
Flávio Leonardo Cavalcanti de Moura flaviodemoura
Lecturer in the Department of Computer Science at Universidade de Brasília - Brazil.

Universidade de Brasília Brasil

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@soren-n
Søren Nørbæk soren-n

Denmark

@skaslev
Slavomir Kaslev skaslev

@redis Sofia, Bulgaria

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@germanD
Germán Delbianco germanD
VIP baker concierge and clandestine ops // TechRel team @trilitech

Trilitech London

@DKXXXL
EDJ DKXXXL
grad PLT enthusiast
@mytxd
尹名洋 mytxd
Haskeller
@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo