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'/> | ||
| + | --> | ||
