Difference between revisions of "Daejun Park"
From FSL
Line 3: | Line 3: | ||
[http://dpark69.web.engr.illinois.edu/ My webpage] | [http://dpark69.web.engr.illinois.edu/ My webpage] | ||
--> | --> | ||
− | [https://daejunpark.github.io/ | + | 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. | 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. |
Latest revision as of 07:59, 26 November 2016
My webpage is located at https://daejunpark.github.io