diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 16:12:07 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-12 16:12:07 +0000 |
commit | 08bf20331c473f40581007640661278bdc5ee640 (patch) | |
tree | ceb88dac7c8d27efacef6ac721d00d2f598daef6 | |
parent | bfba60f048fd906768d05996826295ccb91d3ed2 (diff) | |
download | yannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.tar.gz yannherklotz.com-08bf20331c473f40581007640661278bdc5ee640.zip |
Update the introduction
-rw-r--r-- | content.org | 4 | ||||
-rw-r--r-- | data/news.toml | 16 |
2 files changed, 18 insertions, 2 deletions
diff --git a/content.org b/content.org index 4c8a1c5..f84f320 100644 --- a/content.org +++ b/content.org @@ -10,8 +10,8 @@ #+html: <img src="/images/portrait.jpg" alt="Profile picture" class="profile-picture" /> -@@hugo:<span class="first-letter">H</span>@@@@latex:H@@i! I'm currently a first year PhD student in -the Circuits and Systems group at Imperial College London, supervised by [[https://johnwickerson.github.io][John Wickerson]]. +@@hugo:<span class="first-letter">H</span>@@@@latex:H@@i! I'm currently a PhD student in the +Circuits and Systems group at Imperial College London, supervised by [[https://johnwickerson.github.io][John Wickerson]]. My research focuses on formalising the process of converting high-level programming language descriptions to correct hardware that is functionally equivalent to the input. This process is diff --git a/data/news.toml b/data/news.toml index bf0ac6f..52b1b76 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,4 +1,8 @@ [[news]] +date = "2021-11-22" +event = "Present hyperblock scheduling at CAS Group." + +[[news]] date = "2021-09-16" event = "Presented Vericert at the Formal Methods group at Chalmers." @@ -15,6 +19,10 @@ date = "2021-02-05" event = "Invited seminar talk for the <a href=\"https://team.inria.fr/celtique/\">Celtique project</a>." [[news]] +date = "2020-12-07" +event = "Presented Vericert in front of CAS Group." + +[[news]] date = "2020-09-10" event = "Artifact review committee at OOPSLA 2020." @@ -31,6 +39,10 @@ date = "2020-02-25" event = "Presented Verismith at FPGA 2020." [[news]] +date = "2020-02-03" +event = "Presented Verismith in front of CAS Group." + +[[news]] date = "2019-12-15" event = "FPGA 2020 <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> accepted." @@ -45,3 +57,7 @@ event = "Submitted <a href=\"/papers/fubfst_fpga2020.pdf\">Verismith paper</a> t [[news]] date = "2019-07-15" event = "Student volunteer at ECOOP 2019." + +[[news]] +date = "2019-07-01" +event = "Present fuzzing Verilog for CAS Group." |