Dongyun Jin
From FSL
|
[edit] Research
I am interested in programming language semantics, type systems, runtime verification, and real-time systems.
|
I am interested in programming language semantics, type systems, runtime verification, and real-time systems.