Skip to content
View atomb's full-sized avatar
87 followers · 4 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Organizations

@dafny-lang

Block or report atomb

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
@chaitanya44444
Chaitanya Vaswani chaitanya44444
@skaslev
Slavomir Kaslev skaslev

@redis Sofia, Bulgaria

@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@TheFanatr
Yan TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.

\Device\HardDisk1

@samuelchassot
Samuel Chassot samuelchassot
Applied scientist intern @ Amazon (Dafny), Austin, TX // PhD student in Computer Science @ EPFL Switzerland

Amazon Austin, TX

@ftnfurina
ftnfurina
💡Just want to follow you.
@hawkh
Sai Ruthvik hawkh
ML Engineer @Livestockify

Indian Institute of Technology, Madras Hyderabad

@IamTheSadik
IamTheSadik
@MrityunjaySharma06
MrityunjaySharma06
@evelynmitchell
evelynmitchell

Fort Collins, CO

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@germanferrero
Germán Ferrero germanferrero
Codeando en @libremesh para el pueblo libre
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@Gary-oak-Star
Gary-oak-Star
@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@konjoinfinity
Wesley Scholl konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert

Washington, DC

@ntc2
Nathan Collins ntc2
@SeshatCZ
SeshatCZ

Czech republic

@apchenjun
O0oo0O apchenjun
160178102@qq.com

GuangZhou

@ajayeeralla
Ajay Kumar Eeralla ajayeeralla
I've secured a PhD in CS from Mizzou (Columbia) and. Research interests: security protocol verification, mechanization in Coq, solving unification problems, etc

University of Missouri Columbia

@matthews
John Matthews matthews
@ConnorBaker
Connor Baker ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!

Costa Mesa, CA

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@indrawatideasy
Deasy Indrawati indrawatideasy
Machine Learning Enthusiast

Palembang Indonesia

@ratfink417
ratfink417

San Diego, CA

@sailfish009
sailfish009

freelancer South Korea

@somiljain7
SOMIL JAIN somiljain7
ML Researcher

NITK 100 miles away.... :)

@ByStander-Ox
Sergiowo ByStander-Ox
Soy Sergio, me gusta saber cosas.
@ethanresnick
Ethan Resnick ethanresnick

New York

@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@xmpf
Michalis Papadopoullos xmpf
@quewean
quewean
@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@lulucca12
Lucca G. P. lulucca12
@LovepreetSingh-09
Lovepreet Singh LovepreetSingh-09
Doing Masters in Data Science and Analytics in Lovely Professional University, Punjab

Punjab

@Twanneman
Twanneman Twanneman
Hi! My name is Twan van Landschoot a.k.a. Twanneman and I'm a developer & designer

Studio Twanneman.nl Tilburg, North-Brabant, The Netherlands, Earth, Milky Way, Virgo Supercluster

@agroce
Alex Groce agroce
Associate professor of computer science, software testing researcher; "Thought is a labyrinth."

Northern Arizona University (SICCS) Flagstaff, AZ

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@jmpinit
Owen Trueblood jmpinit
Looking for life in complex systems

Brooklyn, New York

@mytxd
尹名洋 mytxd
Haskeller
@amir
Amir M. Saeid amir

Dublin, Ireland

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@tsingson
tsingson tsingson
a man off-line to jeep off-road!

one man company shenzhen China PRC

@chenzx
Chen Zhixiang chenzx
I'm now focusing on Middleware/PL, my old tech stack is C/C++/Java/Python/Nodejs, but my interests switch to Rust/Kotlin/Zig/WebAssembly/Mojo/Typed-DSL

Shanghai, China