Difference between revisions of "Daejun Park"

From FSL
Jump to: navigation, search
 
(9 intermediate revisions by one user not shown)
Line 1: Line 1:
I'm a 1st year PhD student whose supervisor is [[Grigore Rosu]].
+
<!--
 +
#REDIRECT [[http://web.engr.illinois.edu/~dpark69/ | Daejun_Park]]
 +
[http://dpark69.web.engr.illinois.edu/ My webpage]
 +
-->
 +
My webpage is located at
 +
[https://daejunpark.github.io/ https://daejunpark.github.io]
 +
<!--
 +
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.
  
Here is my [http://ropas.snu.ac.kr/~pudrife/cv.pdf CV].
+
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].
  
 
== Contact ==
 
== Contact ==
 
* 2107 Thomas M. Siebel Center for Computer Science, 201 North Goodwin Avenue, Urbana, IL 61801-2302
 
* 2107 Thomas M. Siebel Center for Computer Science, 201 North Goodwin Avenue, Urbana, IL 61801-2302
 
* Email: dpark69 AT illinois DOT edu
 
* Email: dpark69 AT illinois DOT edu
 +
 +
== Publications ==
 +
 +
<pubbib authors='Daejun Park'/>
 +
-->

Latest revision as of 08:00, 26 November 2016

My webpage is located at https://daejunpark.github.io

Personal tools
Namespaces

Variants
Actions
Navigation