Difference between revisions of "Daejun Park"
From FSL
Line 1: | Line 1: | ||
− | |||
<!-- | <!-- | ||
− | + | #REDIRECT [[http://web.engr.illinois.edu/~dpark69/ | Daejun_Park]] | |
--> | --> | ||
+ | [http://web.engr.illinois.edu/~dpark69/ My webpage] | ||
+ | <!-- | ||
+ | I am a PhD student working with Prof. [[Grigore Rosu]]. I am interested in helping to develop reliable software. Currently, I am working on JavaScript program verification. | ||
+ | |||
+ | Recently, I defined a [https://github.com/kframework/javascript-semantics complete formal semantics of JavaScript language], based on the latest standard ECMAScript 5.1. Currently, I am working on using the semantics to formally verify JavaScript applications, particularly against security properties. | ||
Here is my [http://web.engr.illinois.edu/~dpark69/cv.pdf CV]. | Here is my [http://web.engr.illinois.edu/~dpark69/cv.pdf CV]. | ||
Line 13: | Line 17: | ||
<pubbib authors='Daejun Park'/> | <pubbib authors='Daejun Park'/> | ||
+ | --> |