PhD Student at Cornell University researching Programming Languages, Logic, and Semantics
-
Cornell University
- Ithaca, NY
- https://cs.cornell.edu/~noamz
Jonathan
Jonathannsegal
Information Science PhD student @CornellCIS
@Cornell-Tech-AIRLab New York, NY
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Wojciech Rozowski
wkrozowski
PhD candidate in Programming Principles, Logic and Verification group @ University College London | Research Software Engineer @ Lean FRO
@UCL-PPLV @leanprover London
Material Group
materialg
Material Group is a specialized search firm focused on AGI, intelligent agents, model development, alignment, data engineering, MLOps, and supercomputing.
materialg Austin, TX
Socorro Fabor
sfabor
Talent Acquisition Consultant. Over 8 yrs in the industry helping businesses and people connect. Recruiting for tech and non-tech for startups!
Cebu, Ph
Raghu Ugare
raghuugare
Architect, Designer and Developer. An Avid Learner of Math, Science, Poetry, and Patterns! https://www.linkedin.com/in/rugare/
Bangalore, India
Charleno Pires
charlenopires
Polyglot Developer (Working: Python, JavaScript, TypeScript, Go; Know: Rust, Ocaml, ReScript, Elixir, Erlang, Ruby, Dart, Kotlin; Understand: Java, C#, PHP, Lua
Amarante | PI | Brazil
seb
sbmsr
I build things in public, teach everything I know, and create stuff every single day.
127.0.0.1