Lecturer at JetBrains, teaching about PL topics and working on formal verification for Kotlin.
- Utrecht, The Netherlands
-
10:34
(UTC +02:00) - https://orcid.org/0000-0001-9273-413X
- @jesyspa@mathstodon.xyz
- @jesyspa.bsky.social
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@rocq-community Vietnam
Ja'far
JafarDigital
Hi, I'm Ja'far, a backend developer expanding into AI and machine learning
Sofia
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Daudi Mlengela
dmlengela
I studied Computer Programming at CNM and Agile software development.
Albuquerque, NM
Amrit
0amritsingh
just a collage student | Curious about Technology | Self-Learner | Coding since 2020 (when I was 13) | Always ready for learn | Lets connect on X at 0amritsingh
Earth 616
Ferdous Ahamed
ferdous6443
#Lifelong Learner
#Tecnology enthusiast
eagar to learn more about computer
United International University Dhaka,Bangladesh
Don Fabian Müller
dfabianus
Modeling of bioprocesses, bioprocess control system design and system identification
Festo SE & Co. KG Stuttgart, Germany
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Abdalaziz Rashid
abdalazizrashid
"A beautiful theory, killed by a nasty, ugly little fact" (Galton, 1908, page 258)
Earth
la .varik. .VALefor.
varikvalefor
ni'o la .varik. cu prami le mergu'e je cu cmacypre je cu mutce le ka ce'u seljda kei je cu co'e... je cu co'e ja ponse la'o zoi. varikvalefor@aol.com .zoi.
US-MD
mumblingdrunkard
mumblingdrunkard
(24)
Rust enjoyer
Hardware nerd
Do not look into memory consistency models if you value your sanity and sleep
Trondheim, Norway
PreviousNext