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

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Block or report joewatt95

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
@Verified-zkEVM
Verified zk(E)VM Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
@dariusf
Darius Foo dariusf
PhD student @nus-plse

Singapore

@isabelle-prover
Isabelle isabelle-prover
Isabelle is a generic proof assistant
@dwrensha
David Renshaw dwrensha

Pittsburgh, PA

@vihdzp
Violeta Hernández vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.

Guanajuato, Mexico

@pkwangjoo
Park Kwangjoo pkwangjoo

Singapore

@AntanasKal
Antanas Kalkauskas AntanasKal

Singapore

@FormalizedFormalLogic
FormalizedFormalLogic
Formalize Formal Logic in Lean4
@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@BoltonBailey
Bolton Bailey BoltonBailey
Proof dude

Project Numina California

@girving
Geoffrey Irving girving
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

London

@Logic-Graphs
Logic Graphs Logic-Graphs
Semantic-oriented ontology visualization
@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France

@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Postdoc @ UIUC Illinois, US

10000 @alissa-tung
Alissa Tung alissa-tung

Peking University

@DavidSanan
David Sanan DavidSanan
Assistant Professor at Singapore Institute of Technology. I work on cyber-security by applying formal methods.

Singapore Institute of Technology Singapore

@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@dtumad
Devon Tuma dtumad
Graduate Student at the University of Minnesota working on cryptography and formal verification.

University of Minnesota Minneapolis MN

@tonsky
Nikita Prokopov tonsky

Berlin, Germany

@argumentcomputer
Argument argumentcomputer
@conrad-watt
Conrad Watt conrad-watt
Assistant Professor, NTU Singapore. Co-chair of the WebAssembly Community Group.

Nanyang Technological University

@sorawee
sorawee
@racket
Racket racket
@tuProlog
tuProlog
@frankiesardo
Francesco Sardo frankiesardo

London

@leanprover
Lean leanprover
Lean Prover
@blanchette
Jasmin Blanchette blanchette

Ludwig-Maximilians-Universität München Munich, Germany

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@lab-v2
Lab V2 lab-v2
GitHub site for Lab V2

United States of America

@TiarkRompf
Tiark Rompf TiarkRompf

Faculty at Purdue University

@ammkrn
Chris Bailey ammkrn
@VietAnh1010
Viet Anh Nguyen VietAnh1010
Pogramming languages enthusiast

National University of Singapore Singapore

@arthurpaulino
Arthur Paulino arthurpaulino
I'm a computer scientist with many interests

Argument Computer Corporation Brazil

@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@EdAyers
Ed Ayers EdAyers

Cambridge, UK

@Xu-Jingyi
Xu-Jingyi
@runtimeverification
Runtime Verification Inc. runtimeverification

Champaign, IL

@jinxinglim
Lim Jin Xing jinxinglim
Software Engineer at @Pi-Squared-Inc

Pi Squared Inc. Singapore

@palinatolmach
Palina palinatolmach

Singapore

@JamesGallicchio
James Gallicchio JamesGallicchio
PhD student studying PL/FM. I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)

Carnegie Mellon Pittsburgh, PA

@coolharsh55
Harshvardhan Pandit coolharsh55
Researcher working in areas of Consent, Privacy Risks, GDPR, Semantic Web. mastodon: harsh@eupolicy.social

ADAPT Centre, Dublin City University Dublin

@MaximilianAlgehed
Maximilian Algehed MaximilianAlgehed

Quviq AB Gothenburg

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@shigoel
Shilpi Goel shigoel
Applied Scientist at AWS

Austin, TX

@T-Brick
Thea Brick T-Brick
yippeeee

Pittsburgh

@marco-vassena
Marco Vassena marco-vassena
Assistant professor interested in programming languages and security

Utrecht University Utrecht, Netherlands

@axiomed
Axiomed axiomed
Lean4 for software engineers.
@VMatthijs
Matthijs Vákár VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics

Utrecht University Utrecht, the Netherlands

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Principal Research Software Engineer at Lean FRO Portland, OR

@pkoerner
Philipp Körner pkoerner

Heinrich Heine Universität Düsseldorf

0