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 08:00, 26 November 2016
My webpage is located at https://daejunpark.github.io
