Skip to content
View kammitama5's full-sized avatar
🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
🇹🇹
Research: Number Theory + Alg Graph Theory in Quantum / 😴. Also Lean learner
177 followers · 633 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@SV-ROS @CodingForProduct @OpenMined @nolitetebastardescarborundorum

Block or report kammitama5

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@qcsa-at-ucla
QCSA qcsa-at-ucla
The Quantum Computing Student Association (QCSA) at UCLA is a vibrant community of undergraduate and graduate students operating under the Center for Quantum Sc

@QCSA Los Angeles

@Strilanc
Craig Gidney Strilanc
Software engineer turned research scientist on the quantum computing team at Google.

Google Santa Barbara, California, United States

@SarahArpin
Sarah SarahArpin
@emstoudenmire
Miles emstoudenmire
Research scientist at the Flatiron Institute Center for Computational Quantum Physics (CCQ)

Flatiron Institute CCQ New York City

@dgazzoni
Décio Luiz Gazzoni Filho dgazzoni
@InfamousPlatypus
InfamousPlatypus
Interested in High performance computing and optimizing processes using both classical and quantum methods.
@AdaUchendu
Adaku Uchendu AdaUchendu
I am currently a Technical staff (AI researcher) at MIT Lincoln Lab. I recently earned my Ph.D. in Informatics at Penn State University.

MIT Lincoln Lab

@hebench
hebench
Homomorphic Encryption Benchmarking Framework - HEBench
@NivenT
Niven Achenjang NivenT

Stanford University

@asraa
asraa
@tcNickolas
Mariia Mykhailova tcNickolas
Principal Quantum Applications Software Developer at PsiQuantum. Author of O'Reilly book "Q# Pocket Guide" and Manning book "Quantum Programming in Depth"

PsiQuantum

@BarinderBanwait
BarinderBanwait

Boston University Boston, MA, USA

@mnielsen
Michael Nielsen mnielsen
Searching for the numinous

San Francisco, California

@Stitchpunk
Winnie Stitchpunk

Facebook San Francisco, Ca

@WardBeullens
WardBeullens
Cryptography Researcher at IBM Research - Zurich
@Jazzpirate
Dennis Müller Jazzpirate

@KWARC, @UniFormal

@FrozenWinters
Astra Kolomatskaia FrozenWinters
Studies mathematics.

Wesleyan University

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@dominique-unruh
Dominique Unruh dominique-unruh
Professor for quantum information systems at RWTH Aachen and for cryptography at University of Tartu.

RWTH Aachen, University of Tartu

@rhelmot
Audrey Dutcher rhelmot
PhD student doing binary analysis, CTF player with Shellphish, founder at Emotion Labs

Emotion Labs Phoenix, AZ

@apnelson1
Peter Nelson apnelson1
@mo271
Moritz Firsching mo271

Google Basel, CH

@StevenClontz
Steven Clontz StevenClontz
mathematician, professor, puzzler

University of South Alabama Mobile, AL

@code4mathorg
code4math.org code4mathorg
@girving
Geoffrey Irving girving
Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

London

@kim-em
Kim Morrison kim-em

Canberra

@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@tnelson
Tim Nelson tnelson

Brown University Providence, RI

@teorth
teorth
@thosgood
Tim Hosgood thosgood
@peterwittek
Peter Wittek peterwittek
@qiskit-community
Qiskit Community qiskit-community
@algorythmist
Dimitri Papaioannou algorythmist
Applied Mathematician, Data Scientist, and Software Architect. believe that a true Software Scientist is both a skilled programmer and an adept mathematician.

https://algorythmist.com/ San Francisco

@sonali-tamhankar
sonali-tamhankar
@davidfarmer
David W. Farmer davidfarmer
@AndrewVSutherland
Andrew Sutherland AndrewVSutherland

MIT Cambridge, MA

@roed314
David Roe roed314

MIT Cambridge, MA

@blanchette
Jasmin Blanchette blanchette

Ludwig-Maximilians-Universität München Munich, Germany

@ANG13T
Angelina T (G4LXY) ANG13T
Developer with a passion for embedded systems, satellite tech, SIGINT, and software development

Stellaryx Labs

@cmaughan
Chris Maughan cmaughan

York, UK

@WillHoffer
Will Hoffer WillHoffer
@kirstendmorris
kirstendmorris
@edgarcosta
Edgar Costa edgarcosta

Massachusetts Institute of Technology

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@loic-p
Loïc Pujet loic-p
@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL

@quantumformalism
Quantum Formalism quantumformalism
Decoding the essence of the abstract mathematical formalisms needed to break into the nascent quantum computing industry or other emerging deep-tech topics.

@zaikugroup UK

@alyssalees9
alyssalees9
@blynn
Ben Lynn blynn