Dongyun Jin

From FSL

Jump to: navigation, search
Dongyun Jin
Ph.D. student
Computer Science Department
University of Illinois Urbana-Champaign
Office: 2111a Siebel Center, 201 N. Goodwin Avenue, Urbana, IL 61801
Email: djin3@uiuc.edu
Advisor: Grigore Rosu

[edit] Research

I am interested in programming language semantics, type systems, runtime verification, and real-time systems.

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Dongyun_Jin"
Views
Personal tools