Computer Science
Network profile
281
reputation
1
4

Kristopher Micinski

PhD student in programming languages at the University of Maryland.

1
answer
0
questions
~8k
people reached
  • College Park, MD
  • kmicinski.com
  • Member for 7 years, 9 months
  • 38 profile views
  • Last seen Oct 12 '19 at 5:46

Communities (12)

Top network posts

Top tags (4)

Score 18
Posts 1
Posts % 100
Score 18
Posts 1
Score 18
Posts 1
Score 18
Posts 1

Top posts (1) All Questions Answers | Votes Newest

18 Learning Automated Theorem Proving Mar 29 '12

Badges (5)

Gold

—

Silver

1

Rarest

Bronze

4

Rarest