Skip to content
View ssomayyajula's full-sized avatar
🤔
abstract nonsense
🤔
abstract nonsense
29 followers · 8 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Organizations

@frenetic-lang
Block or Report

Block or report ssomayyajula

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
@mystreamer
Dylan M. mystreamer
@chenjulang
chenjulang
@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@zeeshanlakhani
Zeeshan Lakhani zeeshanlakhani
@papers-we-love / pwlconf founder/org. | @SCSatCMU PhD in PLT trial & erroring, prev~@fission-codes, @Comcast, @basho, @arc90, @NYPL (labs)

Papers We Love | Oxide Computer Company | CMU Pittsburgh, PA

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@NinaRag
Niranjana Srinivasa Ragavan NinaRag
@nikitavoloboev
Nikita nikitavoloboev
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@amir
Amir M. Saeid amir

Dublin, Ireland

@caotic123
Tiago Campos caotic123
Trying a new way to do the same thing

UFVJM - Universidade do Vale do Jequitinhonha e Mucuri. Belo Horizonte - MG

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

Purdue University

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@vastopol
Sean Richardson vastopol
@abiduzz420
Uzair abiduzz420
I want to build significant tools for developers and others. Interested in compilers, PL design and systems for sure.

@Intel Santa Clara

@Pitometsu
Yuriy Pitomets Pitometsu

Ukraine

@sahilgupta221
Dr. Sahil Gupta sahilgupta221
R&D engineer keysight technologies

Keysight Technologies Calabasas, LA, CA, USA

@cyruliu
Cyrus cyruliu
Formal Verification/Program Analysis

New Jersey USA

@niharkg
Nihar Gudiseva niharkg
@AlexiaChen
MathxH Chen AlexiaChen
Life long learner.

Freelancer Kunming, China

@herberteuler
Guanpeng Xu herberteuler

Burnaby, BC, Canada

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@pegahmoradi
Pegah Moradi pegahmoradi
@k
k k
@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@juanbono
Juan Bono juanbono

@lambdaclass Buenos Aires, Argentina

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@rrose1
rrose1
@rishubjain
Rishub Jain rishubjain

@deepmind London, UK

@hariank
hari hariank