Difference between revisions of "Daejun Park"

From FSL
Jump to: navigation, search
Line 1: Line 1:
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.
+
#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'/>
 +
-->

Revision as of 23:30, 18 December 2015

My webpage

Personal tools
Namespaces

Variants
Actions
Navigation