Skip to content
View abdoo8080's full-sized avatar
19 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@CVC4 @cvc5

Block or report abdoo8080

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
@osmanyasar05
Osman Yaşar osmanyasar05
@luisacicolini
Luisa Cicolini luisacicolini
creativity & formal methods enthusiast, engineer, phd student

University of Cambridge, @opencompl Cambridge

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@edu-ap
Eduardo Aguilar Pelaez, MEng, PhD, MBA edu-ap
FP → Hardware → AI Agents. Applying type theory to make LLM orchestration deterministic. Imperial College London alumnus.

Legal Engine, GondolaAI, 5QD

@Humam-Alhusaini
Humam Humam-Alhusaini
Student at UTA. Working at the SL2 lab at UTD
@omasanori
Masanori Ogino omasanori

Japan

@Zhang-Liao
Zhang-Liao Zhang-Liao
@hejsu
suspen hejsu
A student @ TCA Lab in ISCAS

University of Chinese Academy of Sciences

@shirangi
Mehrdad G Shirangi shirangi
AI Leader & Builder | Stanford PhD

San Jose, CA

@arifeensaeed99
arifeensaeed99
Neuro-AI grad researcher. Math PhD aspirant.
@kaleababayneh
Kaleab Abayneh kaleababayneh
one must imagine sisyphus coding

Istanbul/ Türkiye

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Boise, ID

@mrragava
mrragava
@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@bernborgess
bernborgess
@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@beike-zh
beike-zh
@abuzomol
Muzamil Mahgoub Yahia Mohamed abuzomol
I am a PhD student at University of Hawaii at Manoa. My main interests are in the theory side of computer science including algorithms, security, and coalgebra.