Jorge
MrBocch
Hello
I'm currently a student in Facultad de Ingenieria Mecanica y Electrica
Monterrey
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
aykonami
Junior Data Analyst | Python, SQL, Pandas, Matplotlib | Data cleaning, visualization, and analysis projects
Poland
Romulus Mirăuță
RomulusMirauta
Senior QA Automation & Manual Engineer with over 5 years of experience | Tech-Savvy
Suvoda Iasi, Romania
Chirag
chiragveerwani
Mathematics ∩ Computation
Indian Institute of Technology, Hyderabad Hyderabad, India
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
䨻-Ficus religiosa-Cousin
ewdlop
Hello there! A mathematics enthusiast！智造未来42 = (-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3. Algorithm >> language. 腦筋急轉彎
(柒參貳)參捌玖-參零捌陸 Panthalassa, Not Garden State of United States of America 07712, Earth
Fernando Borretti
eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.
Sydney, Australia
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
PreviousNext