aboutsummaryrefslogtreecommitdiffstats
path: root/src/components/landing/sections/Resume.tsx
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2024-03-15 19:44:45 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2024-03-15 19:44:45 +0100
commitbc00740c0462063a3ccd64ef5d874b3cc59c5640 (patch)
treed7dff7ab9fe2341f35256fbb6fd4b69be1b988d6 /src/components/landing/sections/Resume.tsx
parentMove third-party content to private submodule (diff)
downloadblog-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.tsx175
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
7import Link from '@docusaurus/Link';
7import { Lock } from '@phosphor-icons/react'; 8import { Lock } from '@phosphor-icons/react';
8import clsx from 'clsx'; 9import 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&ndash;</span> 306 <span className={styles.cv__time}>2024&ndash;</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 &times; BSc</span>{' '} 340 <span className={styles.cv__time}>7 &times; BSc</span>{' '}
340 <span className={styles.cv__time}>4 &times; MSc</span>{' '} 341 <span className={styles.cv__time}>4 &times; MSc</span>{' '}
341 <span className={styles.cv__time}> 342 <span className={styles.cv__time}>
342 1 &times; MSc{' '} 343 1 &times; 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 &rsquo;24 387 LLM4MDE &rsquo;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 &rsquo;23 397 OOPSLA &rsquo;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 &rsquo;23 402 ECOOP &rsquo;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 &rsquo;22 406 &rsquo;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 &rsquo;23 418 OOPSLA &rsquo;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 &rsquo;21 422 &rsquo;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 &rsquo;23 427 ECOOP &rsquo;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 &rsquo;22 431 &rsquo;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 &rsquo;24 436 FASE &rsquo;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 &rsquo;23 440 &rsquo;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 &rsquo;22 445 ESOP &rsquo;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>