131
reputation
4

Valeria

I am a mathematician and computer scientist based in Cupertino, CA. I like Category Theory and Algebra, as well as Logic, Type Theory and Knowledge Representation. I have worked on linear logic, intuitionistic logic and constructive modal logics.

1
answer
0
questions
~2k
people reached
  • Cupertino, CA
  • Member for 9 years, 10 months
  • 51 profile views
  • Last seen Aug 7 at 3:20

Top tags (3)

Score 13
Posts 1
Score 13
Posts 1
Score 13
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest