Skip to main content
Computer Science
ivcha's user avatar
ivcha's user avatar
ivcha's user avatar
ivcha
  • Member for 8 years, 9 months
  • Last seen more than a month ago
  • Cambridge, MA, United States
Profile Activity
Stats
550
reputation
11k
reached
11
answers
0
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
19
Score
6
Posts
55
Posts %
16
Score
5
Posts
45
Posts %
16
Score
3
Posts
27
Posts %
13
Score
4
Posts
36
Posts %
12
Score
2
Posts
18
Posts %
12
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
answer
8
Programming language semantics prototyping tool
Jan 31, 2017
answer
5
How to Generate Control flow graph from a Petri net model?
Jun 15, 2016
answer
4
The importance of the language semantics for code generation and frameworks for code generation in model-driven development
Aug 23, 2016
answer
4
Quantified Boolean Formula vs First-order logic
Sep 11, 2016
answer
4
Finding weakest precondition
Feb 18, 2018
answer
4
The definition of weakest precondition for a non-deterministic language
Feb 21, 2019
answer
3
Using B-method, and formal methods in general, to model and verify a reverse linked list
Aug 28, 2016
answer
2
LTL properties in bounded model checking via assertions
Dec 18, 2015
answer
2
How to verify a property about a certain order of events in TCTL / UPPAAL?
Aug 29, 2016
answer
2
Modeling a sequential circuit as a transition system
Sep 26, 2016
Top network posts
View all network posts
6
My french-to-english translated transcripts and certificates use the term Computing instead of Computer Science