8000 aniemetz (Aina Niemetz) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View aniemetz's full-sized avatar
42 followers · 0 following
  • Stanford University

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@CVC4 @SMT-LIB @StanfordAHA @Boolector @SMT-COMP @bitwuzla @ddsmt @cvc5 @murxla

Block or report aniemetz

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
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@BitterKanegul
BitterKanegul
@lee-man
Lee Man lee-man
Hardware formal verification

HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@Gary-oak-Star
Gary-oak-Star
@markwwen
Weihuang Wen markwwen
A second-year phd candidate in CUHKSZ.

The Chinese University of Hong Kong, Shenzhen China

@ligurio
Sergey Bronnikov ligurio
I make software suck less.
@msakai
Masahiro Sakai msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet) Kawasaki, Japan

@CyanoKobalamyne
Áron Ricardo Perez-Lopez CyanoKobalamyne
PhD student in formal verification

Stanford, CA

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@aweMinchoo
aweMinchoo aweMinchoo
@Colton1skees
Colton Skees Colton1skees
@abol-karimi
Abolfazl Karimi abol-karimi
PhD student in computer science at UNC-Chapel Hill
@comunidadio
comunidadio
@ddisqq
ddisqq ddisqq
@irabbit666666
iRabbit irabbit666666
Vx:iRabbit666
@lorenzleutgeb
Lorenz Leutgeb lorenzleutgeb

Max Planck Institute for Informatics European Union

@m-fleury
Mathias Fleury m-fleury
@NWMonster
NWMonster NWMonster
@lemuellew
Lemuel Lew lemuellew

Planet Vegeta

@ekiwi
Kevin Laeufer ekiwi
Modern Hardware Construction Languages and Automated Testing

Cornell University Ithaca, NY

@zallahve
Zia Allakhverdiev zallahve
Hello World! I'm Zia, a University of Waterloo Math & CS graduate. My interests lie in Mathematical Optimization, Data Science, and Cyber Security.

Kitchener, Ontario

@huskyii
Jiang Zhu huskyii
Compiler@Synopsys; Formal Verification@NexTop/@ArcasTech; Silicon Design Engineer @amd. All programs are compiler.

@AMD Shanghai

@fuqi-jia
Fuqi Jia fuqi-jia

Institute of Software Chinese Academy of Sciences Beijing, China

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

Draper Boston

@atodekangae
atodekangae
Software Engineer

Japan

@rainscut
rainscut
@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

@scott-cotton
Scott Cotton scott-cotton
⊧

signadot Grenoble, France

@percontation
Ryan Goulden percontation
@aemonk
aemonk
...
@j29scott
Joe Scott j29scott

University of Waterloo Waterloo, Ontario, Canada

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@gurpreetshanky
gurpreetshanky
AI/ML Engineer

Magna Detroit

@rrika
Erika rrika
GPU compiler dev
@chenxiang2019
CHEN Xiang chenxiang2019
PhD student @ Zhejiang University and N2Sys Lab @ Peking University

Zhejiang University Hangzhou - Zhejiang - China

@quicquid
Martin quicquid
@phlo
phlo
@dbueno
Denis Bueno dbueno
phd cs, staff @ sandia
@MarkusRabe
Markus N. Rabe MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.

University of California, Berkeley Berkeley, CA, USA

0