What's the deal with Deno? We talk with a major contributor to find out. Listen now.
Computer Science
Profile Activity
Meta user
Network profile
520
reputation
3
14

ivcha

Phd student in Computer Science at CSAIL, MIT. My interests include programming languages, language design, formal methods and software verification.

11
answers
0
questions
~7k
people reached
  • Cambridge, MA, United States
  • Member for 4 years, 9 months
  • 15 profile views
  • Last seen Jun 24 '19 at 4:01

Communities (9)

Top network posts

Top tags (19)

Score 19
Posts 6
Posts % 55
Score 16
Posts 3
Score 15
Posts 5
Score 12
Posts 2
Score 12
Posts 2
Score 10
Posts 4
View all tags →

Top posts (11)

All Questions Answers
Votes Newest
8 Programming language semantics prototyping tool Jan 31 '17
4 The definition of weakest precondition for a non-deterministic language Feb 21 '19
4 Quantified Boolean Formula vs First-order logic Sep 11 '16
4 The importance of the language semantics for code generation and frameworks for code generation in model-driven development Aug 23 '16
4 How to Generate Control flow graph from a Petri net model? Jun 15 '16
3 Using B-method, and formal methods in general, to model and verify a reverse linked list Aug 28 '16
2 Finding weakest precondition Feb 18 '18
2 Modeling a sequential circuit as a transition system Sep 26 '16
2 How to verify a property about a certain order of events in TCTL / UPPAAL? Aug 29 '16
2 LTL properties in bounded model checking via assertions Dec 18 '15
View all questions and answers →

Badges (17)

Gold

—

Silver

3

Rarest

Bronze

14

Rarest

View all badges →