Skip to content
View dddejan's full-sized avatar
50 followers · 5 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@CVC4 @SRI-CSL @jayhorn

Block or report dddejan

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
@hawkh
Sai Ruthvik hawkh
ML Engineer @Livestockify

Indian Institute of Technology, Madras Hyderabad

@meowConflict
meowConflict meowConflict
@masterwww1
MasterWWW masterwww1
Senior Full Stack Engineer - React | React Native | Node.js | TypeScript | JavaScript | HTML | CSS | Next.js | Nest.js | MySQL | MongoDB
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@JoanEspasa
Joan Espasa JoanEspasa
@Gary-oak-Star
Gary-oak-Star
@ahmed-irfan
Ahmed Irfan ahmed-irfan
@FollowEveryone
FollowAll FollowEveryone
service annoucement like Followall's Friend
@OhJia
Jiashan Wu OhJia

New York, NY

@yogurt-shadow
Zhonghan Wang yogurt-shadow
PhD Student at University of Toronto.

University of Toronto Beijing, China

@Martin-Smith2
Martin Martin-Smith2
I love mixing things.11 years experienced developer. Software Architecture enthusiast. Consultant.
@indrawatideasy
Deasy Indrawati indrawatideasy
Machine Learning Enthusiast

Palembang Indonesia

@hzarnani
Hormoz Zarnani hzarnani

@Atmosic San Jose, CA

@somiljain7
SOMIL JAIN somiljain7
ML Researcher

NITK 100 miles away.... :)

@mbelcevic
Milos Belcevic mbelcevic
I'm product expert, maker and author 🐻 Haribo brand ambassador (wannabe) fluent 🇺🇸 🇳🇴 & 🇷🇸 | learning 🐍 & 🇮🇱
@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

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

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@numairmansur
Numair Mansur numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Amazon Web Services Berlin, Germany

@Bo-Yuan-Huang
Bo-Yuan Huang Bo-Yuan-Huang
Security Research Scientist, formal verification and scalable assurance

Intel Corp.

@LovepreetSingh-09
Lovepreet Singh LovepreetSingh-09
Doing Masters in Data Science and Analytics in Lovely Professional University, Punjab

Punjab

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

Swansea

@hajduakos
Akos Hajdu hajduakos
Computer scientist, PhD

@Facebook United Kingdom

@tanjaschindler
Tanja Schindler tanjaschindler
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@tsingson
tsingson tsingson
a man off-line to jeep off-road!

one man company shenzhen China PRC

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

Design Automation Renegades In passato, vicino al Dolomiti

@sorryeh
Greg sorryeh

Montreal, Canada

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@iamtrask
Andrew Trask iamtrask
Leader of @OpenMined, Senior Research Scientist at DeepMind, PhD Student at Oxford, Author of Grokking Deep Learning, Instructor at Udacity

Oxford, England

@arnabd88
ARNAB DAS arnabd88

University of Utah Salt Lake city, Utah

@ferhaterata
Ferhat Erata ferhaterata
PhD Candidate at Yale

Yale University New Haven

@neoneye
Simon Strandgaard neoneye
Developer

Copenhagen - Denmark

@stites
Sam Stites stites

@nuprl Boston, MA

@michael-emmi
Michael Emmi michael-emmi

Amazon Web Services New York

@qsphan
Quoc-Sang Phan qsphan

@facebook Menlo Park, CA

@mm95
mm95
@geraldo-netto
Geraldo Netto geraldo-netto
linux evangelist, stoic, utilitaristic, charitable, INFJ
@iamsamwood
Sam Wood iamsamwood

Palo Alto, CA

@goldfish912
Minster goldfish912
@riyasmohamedmr
riyas mohamed mr riyasmohamedmr

world bank attingal

@spaceships
Brent Carmer spaceships
@benjaminfjones
Benjamin Jones benjaminfjones
Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.

AWS Portland, OR

@clconway
clconway
@gg7
George G gg7

Anonymous

@mina-gh
Mina mina-gh
Senior Software Engineer at mbg, mainly J2EE Back-End/Server-Side/Node.js developer

mindbodygreen New York City, NY

@BrunoDutertre
Bruno Dutertre BrunoDutertre

@awslabs Amazon

@ianamason
Ian A Mason ianamason
Logico Programmus Irritabilis

SRI International La Selva Beach, California

@coruus
David Leon Gil coruus
@tiliang
Tianyi Liang tiliang

Two Sigma New York, NY