Skip to content
View tinelli's full-sized avatar
19 followers · 1 following
  • The University of Iowa
  • Iowa City, IA

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@CVC4 @SMT-LIB @cvc5 @SMT-Workshop

Block or report tinelli

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

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

Singapore

@AdrienChampion
Adrien Champion AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)

anzenlang La Rochelle, France

@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@yogurt-shadow
Zhonghan Wang yogurt-shadow
Machine Learning Engineer. Incoming PhD Student at University of Toronto (perhaps).

University of Toronto Beijing, China

@kartik-sabharwal
Kartik Sabharwal kartik-sabharwal
I'm a Computer Science Ph.D. student at the University of Iowa.

Iowa City, Iowa

@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@abol-karimi
Abolfazl Karimi, PhD abol-karimi
Co-Founder & Head of AI Systems and Scientific Software, GREENBOX Labs

GREENBOX Labs, Inc.

@Kiarahmani
Kia Rahmani Kiarahmani
Member of Technical Staff

Math Inc NYC

@lp-gamboa
Laura P. Gamboa Guzman lp-gamboa
Math Ph.D. student and Research Assistant at Iowa State University.
@fuqi-jia
Fuqi Jia fuqi-jia

Institute of Software Chinese Academy of Sciences Beijing, China

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@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

@ferhaterata
Ferhat Erata ferhaterata
AI Safety & Security | Formal Methods | Applied Scientist @ AWS AI Labs | PhD @ Yale

Yale University New York

@ekiciburak
Burak Ekici ekiciburak
Senior Research Associate at Department of Computer Science

University of Oxford Oxford

@pathawks
Pat Hawks pathawks

@coviance Ankeny, IA

@klaeufer
Konstantin Läufer klaeufer
Computer scientist/educator: programming languages, software architecture, pervasive computing, data engineering.

Loyola University Chicago Chicago, IL, USA

@h4ck3rm1k3
James Michael DuPont h4ck3rm1k3

Introspector Software Services Ewing, NJ