Marie Skłodowska-Curie Fellow
-
Università di Bologna
- Bologna, Italy
-
15:41
(UTC +02:00) - https://vikraman.org
- https://orcid.org/0000-0003-2030-8056
Highlights
- Pro
Jason Manuel
jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.
Imagine Learning United States
Wen Kokke
wenkokke
tries to walk the line between programming languages ~~and ai~~ | good job, y'all ruined ai
Scotland
Λ
DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge!
I am not a technology nerd!11!!!
Also, i'm so sorry for my geniusness and successness. =)
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Cass Alexandru
cxandru
FP enthusiast. I like working with: Haskell - Emacs - Nix - LaTeX. Learning Agda. I sometimes use Bash, Python and have worked with Java, Scala, Isabelle & Coq.
Nijmegen, NL
Tim Kersey
tkersey
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@thisisartium Los Angeles, CA
Gkoran Stoilkovits
maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking.
Enthusiastic about coding and self-taught, amateur programmer 😊
Atelier Stoilkovits Porto Heli, GREECE
Chenchao Ding
dcclogin
Interested in philosophy and programming-language related stuff
Indiana University Bloomington, IN
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
Caleb Schultz Kisby
ais-climber
Where neural networks, learning, and logic meet
Indiana University United States
Art Scott
Art
Every Day is Earth Day. Adiabatonaut. CO2-Free solar powered General Reversible Adiabatic Computation Enlightenment Energy Efficient Sustainable Computing
Adiabatonauts Verdant Mother-Spaceship Planet Earth
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn
Aditya Ranjan
aranjan25
Ultra Senior EECS undergrad @ IIT Kanpur
IIT Kanpur Kanpur, Uttar Pradesh, India
PreviousNext