Soumya Ranjan Behera
soumyargithub
Tech enthusiast | Curious learner
Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.
Bengaluru, India
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge London, United Kingdom
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Chris Henson
chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
Mike DuPont
jmikedupont2
Senior Full stack developer focused on p2p ml ai devops https://linktr.ee/h4km
discord account m1337d
@meta-introspector New Jersey
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
Flávio Leonardo Cavalcanti de Moura
flaviodemoura
Lecturer in the Department of Computer Science at Universidade de Brasília - Brazil.
Universidade de Brasília Brasil
PreviousNext