Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.
-
University of Trento
- Trento, Italy
- @PietroMonticone
- @PietroMonticone
- @pietromonticone.bsky.social
Highlights
- Pro
Enrico Pezzano
enriicola
Fellowship researcher && CS student at UniGe (IT)π€
UniversitΓ degli Studi di Genova Genova
ADA
ADA-Projects
Hi! I'm Alessandro, PhD mathematician turned ML engineer. I build production-ready AI systems for real-time and data-driven applications. Welcome to my GitHub!
Abdul Samad
samade747
PSX TRADER Full Stack Developer, Nextjs, Reactjs, Frontend Developer & Backend Developer, Openai agent dev,
AI, Specliz. in Eng. LLM-Powered Sol. AWS..CEHv11(L
USA Karachi
Curio-Wang
curioWang
CS & Math undergrad @ UofT, passionate about AI research. Focus onοΌ
Affective Computing
NLP & LLMs
AI4Science
UofT Toronto
Jorge Vega
lobosvega
Full Stack Developer and Data Science enthusiast leveraging advanced AI and machine learning techniques to deliver innovative, data-driven solutions. Currently
Lobos Vega Brooklyn NY
Silvestro Ranucci
silranucci
Functional Programming |>
Database |>
Distributed Systems
@sparkfabrik Milan
WangRujiao
Areuok96
Nanjing University of Aeronautics and Astronautics majoring in Computer Science and Technology
Nanjing University of Aeronautics and Astronautics NanJing
Parisa Shirali
Parisashirali
AI/ML Researcher | Passionate about the use of Ethical AI in Healthcare | Innovation Seeker
Luisa Cicolini
luisacicolini
CS graduate, creativity enthusiast
University of Cambridge, @opencompl Cambridge
Daniel Gotilla
dgotilla
Husband, Father, Life-long Student, Technical Product Lead. (He/Him)
3rd Rock from the Sun
Ramzi Malhas
ramzimalhas
my mission is to augment human intelligence. πΎ
ποΈ @Life-Hackers-inc Dubai