diff options
author | 2024-03-15 19:44:45 +0100 | |
---|---|---|
committer | 2024-03-15 19:44:45 +0100 | |
commit | bc00740c0462063a3ccd64ef5d874b3cc59c5640 (patch) | |
tree | d7dff7ab9fe2341f35256fbb6fd4b69be1b988d6 /src/components/landing/sections/Resume.tsx | |
parent | Move third-party content to private submodule (diff) | |
download | blog-bc00740c0462063a3ccd64ef5d874b3cc59c5640.tar.gz blog-bc00740c0462063a3ccd64ef5d874b3cc59c5640.tar.zst blog-bc00740c0462063a3ccd64ef5d874b3cc59c5640.zip |
Prefer <Link> over <a>
See
https://docusaurus.io/docs/api/misc/@docusaurus/eslint-plugin/no-html-links
Diffstat (limited to 'src/components/landing/sections/Resume.tsx')
-rw-r--r-- | src/components/landing/sections/Resume.tsx | 175 |
1 files changed, 88 insertions, 87 deletions
diff --git a/src/components/landing/sections/Resume.tsx b/src/components/landing/sections/Resume.tsx index fe97434..4ce83e4 100644 --- a/src/components/landing/sections/Resume.tsx +++ b/src/components/landing/sections/Resume.tsx | |||
@@ -4,6 +4,7 @@ | |||
4 | * SPDX-License-Identifier: MIT AND CC-BY-4.0 | 4 | * SPDX-License-Identifier: MIT AND CC-BY-4.0 |
5 | */ | 5 | */ |
6 | 6 | ||
7 | import Link from '@docusaurus/Link'; | ||
7 | import { Lock } from '@phosphor-icons/react'; | 8 | import { Lock } from '@phosphor-icons/react'; |
8 | import clsx from 'clsx'; | 9 | import clsx from 'clsx'; |
9 | 10 | ||
@@ -31,12 +32,12 @@ function Education() { | |||
31 | </p> | 32 | </p> |
32 | <p> | 33 | <p> |
33 | Thesis:{' '} | 34 | Thesis:{' '} |
34 | <a href="/thesis.pdf"> | 35 | <Link to="/thesis.pdf"> |
35 | <b> | 36 | <b> |
36 | Abstraction Techniques for the Analysis and Synthesis of | 37 | Abstraction Techniques for the Analysis and Synthesis of |
37 | Critical Cyber-Physical System Architectures | 38 | Critical Cyber-Physical System Architectures |
38 | </b> | 39 | </b> |
39 | </a> | 40 | </Link> |
40 | </p> | 41 | </p> |
41 | <p className={styles.cv__muted}> | 42 | <p className={styles.cv__muted}> |
42 | <Lock | 43 | <Lock |
@@ -44,11 +45,11 @@ function Education() { | |||
44 | aria-hidden="true" | 45 | aria-hidden="true" |
45 | className={styles['thesis-rights__icon']} | 46 | className={styles['thesis-rights__icon']} |
46 | /> | 47 | /> |
47 | Some poritions exclusively licensed to their original publishers | 48 | Some poritions may be exclusively licensed to their original publishers |
48 | </p> | 49 | </p> |
49 | <div className={styles['thesis-links']}> | 50 | <div className={styles['thesis-links']}> |
50 | <a | 51 | <Link |
51 | href="/thesis.pdf" | 52 | to="/thesis.pdf" |
52 | className={clsx( | 53 | className={clsx( |
53 | 'button', | 54 | 'button', |
54 | 'button--primary', | 55 | 'button--primary', |
@@ -56,9 +57,9 @@ function Education() { | |||
56 | )} | 57 | )} |
57 | > | 58 | > |
58 | Read now | 59 | Read now |
59 | </a> | 60 | </Link> |
60 | <a | 61 | <Link |
61 | href="/thesis-booklet-en.pdf" | 62 | to="/thesis-booklet.pdf" |
62 | className={clsx( | 63 | className={clsx( |
63 | 'button', | 64 | 'button', |
64 | 'button--secondary', | 65 | 'button--secondary', |
@@ -66,13 +67,13 @@ function Education() { | |||
66 | )} | 67 | )} |
67 | > | 68 | > |
68 | Extended abstract | 69 | Extended abstract |
69 | </a> | 70 | </Link> |
70 | <a | 71 | <Link |
71 | href="http://hdl.handle.net/10890/41832" | 72 | to="http://hdl.handle.net/10890/41832" |
72 | className={styles['thesis-links__link']} | 73 | className={styles['thesis-links__link']} |
73 | > | 74 | > |
74 | Also available via HDL.NET | 75 | Also available via HDL.NET |
75 | </a> | 76 | </Link> |
76 | </div> | 77 | </div> |
77 | </li> | 78 | </li> |
78 | <li className={styles.cv__item}> | 79 | <li className={styles.cv__item}> |
@@ -129,23 +130,23 @@ function Experience() { | |||
129 | <li className={styles.cv__activity}> | 130 | <li className={styles.cv__activity}> |
130 | Created reliability models for{' '} | 131 | Created reliability models for{' '} |
131 | <i>distributed railway interlocking systems</i> in a{' '} | 132 | <i>distributed railway interlocking systems</i> in a{' '} |
132 | <a href="https://projektek.bme.hu/index.php?site=3_0_0&i=28"> | 133 | <Link to="https://projektek.bme.hu/index.php?site=3_0_0&i=28"> |
133 | Hungarian national project | 134 | Hungarian national project |
134 | </a>{' '} | 135 | </Link>{' '} |
135 | with{' '} | 136 | with{' '} |
136 | <a href="https://www.prolan.hu/" rel="nofollow"> | 137 | <Link to="https://www.prolan.hu/" rel="nofollow"> |
137 | Prolan Zrt. | 138 | Prolan Zrt. |
138 | </a> | 139 | </Link> |
139 | </li> | 140 | </li> |
140 | <li className={styles.cv__activity}> | 141 | <li className={styles.cv__activity}> |
141 | Formally verified a <i>critical automotive subsystem</i> in a{' '} | 142 | Formally verified a <i>critical automotive subsystem</i> in a{' '} |
142 | <a href="https://projektek.bme.hu/index.php?site=3_1_0&i=18"> | 143 | <Link to="https://projektek.bme.hu/index.php?site=3_1_0&i=18"> |
143 | Hungarian national project | 144 | Hungarian national project |
144 | </a>{' '} | 145 | </Link>{' '} |
145 | with{' '} | 146 | with{' '} |
146 | <a href="https://www.thyssenkrupp.hu/en" rel="nofollow"> | 147 | <Link to="https://www.thyssenkrupp.hu/en" rel="nofollow"> |
147 | thyssenkrupp Ltd. | 148 | thyssenkrupp Ltd. |
148 | </a> | 149 | </Link> |
149 | </li> | 150 | </li> |
150 | </ul> | 151 | </ul> |
151 | </li> | 152 | </li> |
@@ -156,10 +157,10 @@ function Experience() { | |||
156 | </p> | 157 | </p> |
157 | <p> | 158 | <p> |
158 | <i> | 159 | <i> |
159 | <a href="https://web.archive.org/web/20200919160859/https://lendulet.inf.mit.bme.hu/"> | 160 | <Link to="https://web.archive.org/web/20200919160859/https://lendulet.inf.mit.bme.hu/"> |
160 | MTA-BME <span lang="hu">Lendület</span> Cyber-Physical Systems | 161 | MTA-BME <span lang="hu">Lendület</span> Cyber-Physical Systems |
161 | Research Group | 162 | Research Group |
162 | </a> | 163 | </Link> |
163 | </i> | 164 | </i> |
164 | </p> | 165 | </p> |
165 | </li> | 166 | </li> |
@@ -170,13 +171,13 @@ function Experience() { | |||
170 | </p> | 171 | </p> |
171 | <p> | 172 | <p> |
172 | <i> | 173 | <i> |
173 | <a href="https://web.archive.org/web/20150925191035/http://biointelligence.hu/"> | 174 | <Link to="https://web.archive.org/web/20150925191035/http://biointelligence.hu/"> |
174 | BioIntelligence Research Group, | 175 | BioIntelligence Research Group, |
175 | </a>{' '} | 176 | </Link>{' '} |
176 | <a href="https://semmelweis.hu/genomikai-medicina/en/"> | 177 | <Link to="https://semmelweis.hu/genomikai-medicina/en/"> |
177 | Institute of Genomic Medicine and Rare Disorders, | 178 | Institute of Genomic Medicine and Rare Disorders, |
178 | </a>{' '} | 179 | </Link>{' '} |
179 | <a href="https://semmelweis.hu/en/">Semmelweis University,</a>{' '} | 180 | <Link to="https://semmelweis.hu/en/">Semmelweis University,</Link>{' '} |
180 | Budapest, Hungary | 181 | Budapest, Hungary |
181 | </i> | 182 | </i> |
182 | </p> | 183 | </p> |
@@ -193,9 +194,9 @@ function Awards() { | |||
193 | <ul className={styles.cv}> | 194 | <ul className={styles.cv}> |
194 | <li className={styles.cv__item}> | 195 | <li className={styles.cv__item}> |
195 | <h4 className={styles.cv__title}> | 196 | <h4 className={styles.cv__title}> |
196 | <a href="https://www.unkp.gov.hu/"> | 197 | <Link to="https://www.unkp.gov.hu/"> |
197 | New National Excellence Programme (<span lang="hu">ÚNKP</span>) | 198 | New National Excellence Programme (<span lang="hu">ÚNKP</span>) |
198 | </a> | 199 | </Link> |
199 | </h4> | 200 | </h4> |
200 | <p className={styles.cv__times}> | 201 | <p className={styles.cv__times}> |
201 | <span className={styles.cv__time}>2016 (MSc)</span>{' '} | 202 | <span className={styles.cv__time}>2016 (MSc)</span>{' '} |
@@ -205,23 +206,23 @@ function Awards() { | |||
205 | </p> | 206 | </p> |
206 | <p className={styles.cv__muted}> | 207 | <p className={styles.cv__muted}> |
207 | Awarded by the{' '} | 208 | Awarded by the{' '} |
208 | <a href="https://web.archive.org/web/20230531162207/https://nkfih.gov.hu/english/nrdi-fund/new-national-excellence-programme-unkp-23-3/call-for-applications"> | 209 | <Link to="https://web.archive.org/web/20230531162207/https://nkfih.gov.hu/english/nrdi-fund/new-national-excellence-programme-unkp-23-3/call-for-applications"> |
209 | National Research, Development and Innovation Office (NRDI) | 210 | National Research, Development and Innovation Office (NRDI) |
210 | </a>{' '} | 211 | </Link>{' '} |
211 | of Hungary to around 700 recipients per year | 212 | of Hungary to around 700 recipients per year |
212 | </p> | 213 | </p> |
213 | </li> | 214 | </li> |
214 | <li className={styles.cv__item}> | 215 | <li className={styles.cv__item}> |
215 | <h4 className={styles.cv__title}> | 216 | <h4 className={styles.cv__title}> |
216 | <a href="https://www.mit.bme.hu/events/2023/11/14/schnell-alapitvany-palyazati-felhivasok-2023"> | 217 | <Link to="https://www.mit.bme.hu/events/2023/11/14/schnell-alapitvany-palyazati-felhivasok-2023"> |
217 | 2023 Josef Heim Award | 218 | 2023 Josef Heim Award |
218 | </a> | 219 | </Link> |
219 | </h4> | 220 | </h4> |
220 | <p className={styles.cv__muted}> | 221 | <p className={styles.cv__muted}> |
221 | Awarded by the{' '} | 222 | Awarded by the{' '} |
222 | <a href="https://www.mit.bme.hu/general/alapitvany"> | 223 | <Link to="https://www.mit.bme.hu/general/alapitvany"> |
223 | László Schell Foundation | 224 | László Schell Foundation |
224 | </a>{' '} | 225 | </Link>{' '} |
225 | to 1 member of the{' '} | 226 | to 1 member of the{' '} |
226 | <i>Department of Measurement and Information Systems</i> per year | 227 | <i>Department of Measurement and Information Systems</i> per year |
227 | for exceptional work in innovation | 228 | for exceptional work in innovation |
@@ -229,16 +230,16 @@ function Awards() { | |||
229 | </li> | 230 | </li> |
230 | <li className={styles.cv__item}> | 231 | <li className={styles.cv__item}> |
231 | <h4 className={styles.cv__title}> | 232 | <h4 className={styles.cv__title}> |
232 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts#Chairs-Report"> | 233 | <Link to="https://2021.splashcon.org/track/splash-2021-Artifacts#Chairs-Report"> |
233 | OOPSLA 2021 Distinguished Artifact Reviewer | 234 | OOPSLA 2021 Distinguished Artifact Reviewer |
234 | </a> | 235 | </Link> |
235 | </h4> | 236 | </h4> |
236 | </li> | 237 | </li> |
237 | <li className={styles.cv__item}> | 238 | <li className={styles.cv__item}> |
238 | <h4 className={styles.cv__title}> | 239 | <h4 className={styles.cv__title}> |
239 | <a href="https://www.mit.bme.hu/node/10575"> | 240 | <Link to="https://www.mit.bme.hu/node/10575"> |
240 | 2020 László Schnell Award | 241 | 2020 László Schnell Award |
241 | </a> | 242 | </Link> |
242 | </h4> | 243 | </h4> |
243 | </li> | 244 | </li> |
244 | </ul> | 245 | </ul> |
@@ -259,10 +260,10 @@ function Visits() { | |||
259 | </p> | 260 | </p> |
260 | <p> | 261 | <p> |
261 | <i> | 262 | <i> |
262 | <a href="https://web.archive.org/web/20201124184148/https://www.mcgill.ca/ece/daniel-varro"> | 263 | <Link to="https://web.archive.org/web/20201124184148/https://www.mcgill.ca/ece/daniel-varro"> |
263 | Department of Electrical and Computer Engineering, | 264 | Department of Electrical and Computer Engineering, |
264 | </a>{' '} | 265 | </Link>{' '} |
265 | <a href="https://www.mcgill.ca/">McGill Univeristy,</a>{' '} | 266 | <Link to="https://www.mcgill.ca/">McGill Univeristy,</Link>{' '} |
266 | </i> | 267 | </i> |
267 | Montreal, Canada | 268 | Montreal, Canada |
268 | </p> | 269 | </p> |
@@ -274,12 +275,12 @@ function Visits() { | |||
274 | </p> | 275 | </p> |
275 | <p> | 276 | <p> |
276 | <i> | 277 | <i> |
277 | <a href="https://web.archive.org/web/20190430204608/https://people.disim.univaq.it/cortelle/"> | 278 | <Link to="https://web.archive.org/web/20190430204608/https://people.disim.univaq.it/cortelle/"> |
278 | Department of Computer Science and Engineering, and Mathematics, | 279 | Department of Computer Science and Engineering, and Mathematics, |
279 | </a>{' '} | 280 | </Link>{' '} |
280 | <a href="https://www.univaq.it/en/index.php?&lang_s=en"> | 281 | <Link to="https://www.univaq.it/en/index.php?&lang_s=en"> |
281 | University of L'Aquila, | 282 | University of L'Aquila, |
282 | </a>{' '} | 283 | </Link>{' '} |
283 | </i> | 284 | </i> |
284 | Italy | 285 | Italy |
285 | </p> | 286 | </p> |
@@ -297,9 +298,9 @@ function Teaching() { | |||
297 | <li className={styles.cv__item}> | 298 | <li className={styles.cv__item}> |
298 | <h4 className={styles.cv__title}> | 299 | <h4 className={styles.cv__title}> |
299 | Course coordinator of{' '} | 300 | Course coordinator of{' '} |
300 | <a href="https://portal.vik.bme.hu/kepzes/targyak/VIMIMB11/hu/"> | 301 | <Link to="https://portal.vik.bme.hu/kepzes/targyak/VIMIMB11/hu/"> |
301 | Critical Systems Laboratory | 302 | Critical Systems Laboratory |
302 | </a> | 303 | </Link> |
303 | </h4> | 304 | </h4> |
304 | <p className={styles.cv__times}> | 305 | <p className={styles.cv__times}> |
305 | <span className={styles.cv__time}>2024–</span> | 306 | <span className={styles.cv__time}>2024–</span> |
@@ -313,17 +314,17 @@ function Teaching() { | |||
313 | <ul className={styles.cv__activities}> | 314 | <ul className={styles.cv__activities}> |
314 | <li className={styles.cv__activity}> | 315 | <li className={styles.cv__activity}> |
315 | Courses at the{' '} | 316 | Courses at the{' '} |
316 | <a href="https://mit.bme.hu"> | 317 | <Link to="https://mit.bme.hu"> |
317 | Deparment of Measurement and Information Systems | 318 | Deparment of Measurement and Information Systems |
318 | </a>{' '} | 319 | </Link>{' '} |
319 | and the{' '} | 320 | and the{' '} |
320 | <a href="https://cs.bme.hu"> | 321 | <Link to="https://cs.bme.hu"> |
321 | Deparment of Computer Science and Information Theory | 322 | Deparment of Computer Science and Information Theory |
322 | </a> | 323 | </Link> |
323 | </li> | 324 | </li> |
324 | <li className={styles.cv__activity}> | 325 | <li className={styles.cv__activity}> |
325 | Including practice and lab sessions in the{' '} | 326 | Including practice and lab sessions in the{' '} |
326 | <a href="https://imsc.vik.bme.hu/">IMsc programme</a> of BME for | 327 | <Link to="https://imsc.vik.bme.hu/">IMsc programme</Link> of BME for |
327 | talented BSc students | 328 | talented BSc students |
328 | </li> | 329 | </li> |
329 | </ul> | 330 | </ul> |
@@ -331,18 +332,18 @@ function Teaching() { | |||
331 | <li className={styles.cv__item}> | 332 | <li className={styles.cv__item}> |
332 | <h4 className={styles.cv__title}> | 333 | <h4 className={styles.cv__title}> |
333 | Supervised BSc and MSc{' '} | 334 | Supervised BSc and MSc{' '} |
334 | <a href="https://diplomaterv.vik.bme.hu/hu/Supervisors/Marussy-Kristof"> | 335 | <Link to="https://diplomaterv.vik.bme.hu/hu/Supervisors/Marussy-Kristof"> |
335 | thesis works | 336 | thesis works |
336 | </a> | 337 | </Link> |
337 | </h4> | 338 | </h4> |
338 | <p className={styles.cv__times}> | 339 | <p className={styles.cv__times}> |
339 | <span className={styles.cv__time}>7 × BSc</span>{' '} | 340 | <span className={styles.cv__time}>7 × BSc</span>{' '} |
340 | <span className={styles.cv__time}>4 × MSc</span>{' '} | 341 | <span className={styles.cv__time}>4 × MSc</span>{' '} |
341 | <span className={styles.cv__time}> | 342 | <span className={styles.cv__time}> |
342 | 1 × MSc{' '} | 343 | 1 × MSc{' '} |
343 | <a href="https://www.unkp.gov.hu/" lang="hu"> | 344 | <Link to="https://www.unkp.gov.hu/" lang="hu"> |
344 | ÚNKP | 345 | ÚNKP |
345 | </a>{' '} | 346 | </Link>{' '} |
346 | student research | 347 | student research |
347 | </span> | 348 | </span> |
348 | </p> | 349 | </p> |
@@ -350,9 +351,9 @@ function Teaching() { | |||
350 | <li className={styles.cv__item}> | 351 | <li className={styles.cv__item}> |
351 | <h4 className={styles.cv__title}> | 352 | <h4 className={styles.cv__title}> |
352 | Supervised{' '} | 353 | Supervised{' '} |
353 | <a href="https://tdk.bme.hu/Browse/Users/Marussy-Kristof"> | 354 | <Link to="https://tdk.bme.hu/Browse/Users/Marussy-Kristof"> |
354 | Scientific Students' Association | 355 | Scientific Students' Association |
355 | </a>{' '} | 356 | </Link>{' '} |
356 | research | 357 | research |
357 | </h4> | 358 | </h4> |
358 | <p className={styles.cv__times}> | 359 | <p className={styles.cv__times}> |
@@ -382,9 +383,9 @@ function Service() { | |||
382 | <h4 className={styles.cv__title}>Program Committe member</h4> | 383 | <h4 className={styles.cv__title}>Program Committe member</h4> |
383 | <p className={styles.cv__times}> | 384 | <p className={styles.cv__times}> |
384 | <span className={styles.cv__time}> | 385 | <span className={styles.cv__time}> |
385 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | 386 | <Link to="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> |
386 | LLM4MDE ’24 | 387 | LLM4MDE ’24 |
387 | </a> | 388 | </Link> |
388 | </span> | 389 | </span> |
389 | </p> | 390 | </p> |
390 | </li> | 391 | </li> |
@@ -392,18 +393,18 @@ function Service() { | |||
392 | <h4 className={styles.cv__title}>Extended Review Committe member</h4> | 393 | <h4 className={styles.cv__title}>Extended Review Committe member</h4> |
393 | <p className={styles.cv__times}> | 394 | <p className={styles.cv__times}> |
394 | <span className={styles.cv__time}> | 395 | <span className={styles.cv__time}> |
395 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | 396 | <Link to="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> |
396 | OOPSLA ’23 | 397 | OOPSLA ’23 |
397 | </a> | 398 | </Link> |
398 | </span>{' '} | 399 | </span>{' '} |
399 | <span className={styles.cv__time}> | 400 | <span className={styles.cv__time}> |
400 | <a href="https://2023.ecoop.org/committee/ecoop-2023-research-papers-extended-review-committee"> | 401 | <Link to="https://2023.ecoop.org/committee/ecoop-2023-research-papers-extended-review-committee"> |
401 | ECOOP ’23 | 402 | ECOOP ’23 |
402 | </a>{' '} | 403 | </Link>{' '} |
403 | and{' '} | 404 | and{' '} |
404 | <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-"> | 405 | <Link to="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-"> |
405 | ’22 | 406 | ’22 |
406 | </a> | 407 | </Link> |
407 | </span> | 408 | </span> |
408 | </p> | 409 | </p> |
409 | </li> | 410 | </li> |
@@ -413,36 +414,36 @@ function Service() { | |||
413 | </h4> | 414 | </h4> |
414 | <p className={styles.cv__times}> | 415 | <p className={styles.cv__times}> |
415 | <span className={styles.cv__time}> | 416 | <span className={styles.cv__time}> |
416 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | 417 | <Link to="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> |
417 | OOPSLA ’23 | 418 | OOPSLA ’23 |
418 | </a>{' '} | 419 | </Link>{' '} |
419 | and{' '} | 420 | and{' '} |
420 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts"> | 421 | <Link to="https://2021.splashcon.org/track/splash-2021-Artifacts"> |
421 | ’21 | 422 | ’21 |
422 | </a> | 423 | </Link> |
423 | </span>{' '} | 424 | </span>{' '} |
424 | <span className={styles.cv__time}> | 425 | <span className={styles.cv__time}> |
425 | <a href="https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee"> | 426 | <Link to="https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee"> |
426 | ECOOP ’23 | 427 | ECOOP ’23 |
427 | </a>{' '} | 428 | </Link>{' '} |
428 | and{' '} | 429 | and{' '} |
429 | <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee"> | 430 | <Link to="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee"> |
430 | ’22 | 431 | ’22 |
431 | </a> | 432 | </Link> |
432 | </span>{' '} | 433 | </span>{' '} |
433 | <span className={styles.cv__time}> | 434 | <span className={styles.cv__time}> |
434 | <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> | 435 | <Link to="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> |
435 | FASE ’24 | 436 | FASE ’24 |
436 | </a>{' '} | 437 | </Link>{' '} |
437 | and{' '} | 438 | and{' '} |
438 | <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> | 439 | <Link to="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> |
439 | ’23 | 440 | ’23 |
440 | </a> | 441 | </Link> |
441 | </span>{' '} | 442 | </span>{' '} |
442 | <span className={styles.cv__time}> | 443 | <span className={styles.cv__time}> |
443 | <a href="https://www.etaps.org/user-profile/archive/53-etaps-2022/491-esop-2022-artifact-evaluation.html"> | 444 | <Link to="https://www.etaps.org/user-profile/archive/53-etaps-2022/491-esop-2022-artifact-evaluation.html"> |
444 | ESOP ’22 | 445 | ESOP ’22 |
445 | </a> | 446 | </Link> |
446 | </span>{' '} | 447 | </span>{' '} |
447 | </p> | 448 | </p> |
448 | </li> | 449 | </li> |
@@ -455,12 +456,12 @@ function Service() { | |||
455 | styles['cv__activity--tight'], | 456 | styles['cv__activity--tight'], |
456 | )} | 457 | )} |
457 | > | 458 | > |
458 | <a | 459 | <Link |
459 | href="https://www.sciencedirect.com/journal/science-of-computer-programming" | 460 | to="https://www.sciencedirect.com/journal/science-of-computer-programming" |
460 | rel="nofollow" | 461 | rel="nofollow" |
461 | > | 462 | > |
462 | Science of Computer Programming | 463 | Science of Computer Programming |
463 | </a> | 464 | </Link> |
464 | </li> | 465 | </li> |
465 | <li | 466 | <li |
466 | className={clsx( | 467 | className={clsx( |
@@ -468,12 +469,12 @@ function Service() { | |||
468 | styles['cv__activity--tight'], | 469 | styles['cv__activity--tight'], |
469 | )} | 470 | )} |
470 | > | 471 | > |
471 | <a | 472 | <Link |
472 | href="https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming" | 473 | to="https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming" |
473 | rel="nofollow" | 474 | rel="nofollow" |
474 | > | 475 | > |
475 | Journal of Logical and Algebraic Methods in Programming | 476 | Journal of Logical and Algebraic Methods in Programming |
476 | </a> | 477 | </Link> |
477 | </li> | 478 | </li> |
478 | </ul> | 479 | </ul> |
479 | </li> | 480 | </li> |