diff options
Diffstat (limited to 'src/components/landing/sections/Resume.tsx')
-rw-r--r-- | src/components/landing/sections/Resume.tsx | 858 |
1 files changed, 480 insertions, 378 deletions
diff --git a/src/components/landing/sections/Resume.tsx b/src/components/landing/sections/Resume.tsx index 40ceeb0..fe97434 100644 --- a/src/components/landing/sections/Resume.tsx +++ b/src/components/landing/sections/Resume.tsx | |||
@@ -1,9 +1,10 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2023 Kristóf Marussy | 2 | * SPDX-FileCopyrightText: 2023-2024 Kristóf Marussy |
3 | * | 3 | * |
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 { Lock } from '@phosphor-icons/react'; | ||
7 | import clsx from 'clsx'; | 8 | import clsx from 'clsx'; |
8 | 9 | ||
9 | import Section from '@site/src/components/landing/Section'; | 10 | import Section from '@site/src/components/landing/Section'; |
@@ -11,386 +12,487 @@ import Subtitle from '@site/src/components/landing/Subtitle'; | |||
11 | 12 | ||
12 | import styles from './Resume.module.css'; | 13 | import styles from './Resume.module.css'; |
13 | 14 | ||
15 | function ResumeSection({ children }: { children?: React.ReactNode }) { | ||
16 | return <div className={styles.resume__section}>{children}</div>; | ||
17 | } | ||
18 | |||
19 | function Education() { | ||
20 | return ( | ||
21 | <ResumeSection> | ||
22 | <Subtitle icon="🎓">Education</Subtitle> | ||
23 | <ul className={styles.cv}> | ||
24 | <li className={styles.cv__item}> | ||
25 | <h4 className={styles.cv__title}>Doctor of Philosophy (PhD)</h4> | ||
26 | <p className={styles.cv__times}> | ||
27 | <span className={styles.cv__time}>2018–2023</span> | ||
28 | </p> | ||
29 | <p> | ||
30 | <i>Budapest Unversity of Technology and Economics</i> | ||
31 | </p> | ||
32 | <p> | ||
33 | Thesis:{' '} | ||
34 | <a href="/thesis.pdf"> | ||
35 | <b> | ||
36 | Abstraction Techniques for the Analysis and Synthesis of | ||
37 | Critical Cyber-Physical System Architectures | ||
38 | </b> | ||
39 | </a> | ||
40 | </p> | ||
41 | <p className={styles.cv__muted}> | ||
42 | <Lock | ||
43 | weight="bold" | ||
44 | aria-hidden="true" | ||
45 | className={styles['thesis-rights__icon']} | ||
46 | /> | ||
47 | Some poritions exclusively licensed to their original publishers | ||
48 | </p> | ||
49 | <div className={styles['thesis-links']}> | ||
50 | <a | ||
51 | href="/thesis.pdf" | ||
52 | className={clsx( | ||
53 | 'button', | ||
54 | 'button--primary', | ||
55 | styles['thesis-links__link'], | ||
56 | )} | ||
57 | > | ||
58 | Read now | ||
59 | </a> | ||
60 | <a | ||
61 | href="/thesis-booklet-en.pdf" | ||
62 | className={clsx( | ||
63 | 'button', | ||
64 | 'button--secondary', | ||
65 | styles['thesis-links__link'], | ||
66 | )} | ||
67 | > | ||
68 | Extended abstract | ||
69 | </a> | ||
70 | <a | ||
71 | href="http://hdl.handle.net/10890/41832" | ||
72 | className={styles['thesis-links__link']} | ||
73 | > | ||
74 | Also available via HDL.NET | ||
75 | </a> | ||
76 | </div> | ||
77 | </li> | ||
78 | <li className={styles.cv__item}> | ||
79 | <h4 className={styles.cv__title}>Master of Science (MSc)</h4> | ||
80 | <p className={styles.cv__times}> | ||
81 | <span className={styles.cv__time}>2016–2018</span> | ||
82 | </p> | ||
83 | <p> | ||
84 | <i>Budapest Unversity of Technology and Economics</i> | ||
85 | </p> | ||
86 | </li> | ||
87 | <li className={styles.cv__item}> | ||
88 | <h4 className={styles.cv__title}>Bachleor of Science (BSc)</h4> | ||
89 | <p className={styles.cv__times}> | ||
90 | <span className={styles.cv__time}>2012–2016</span> | ||
91 | </p> | ||
92 | <p> | ||
93 | <i>Budapest Unversity of Technology and Economics</i> | ||
94 | </p> | ||
95 | </li> | ||
96 | </ul> | ||
97 | </ResumeSection> | ||
98 | ); | ||
99 | } | ||
100 | |||
101 | function Experience() { | ||
102 | return ( | ||
103 | <ResumeSection> | ||
104 | <Subtitle icon="👨💼">Professional experience</Subtitle> | ||
105 | <ul className={styles.cv}> | ||
106 | <li className={styles.cv__item}> | ||
107 | <h4 className={styles.cv__title}>Research fellow</h4> | ||
108 | <p className={styles.cv__times}> | ||
109 | <span className={styles.cv__time}>2024–</span> | ||
110 | </p> | ||
111 | </li> | ||
112 | <li className={styles.cv__item}> | ||
113 | <h4 className={styles.cv__title}>Assistant research fellow</h4> | ||
114 | <p className={styles.cv__times}> | ||
115 | <span className={styles.cv__time}>2020–2023</span> | ||
116 | </p> | ||
117 | <p> | ||
118 | <i> | ||
119 | Department of Measurement and Information Systems, Budapest | ||
120 | University of Technology and Economics, Hungary | ||
121 | </i> | ||
122 | </p> | ||
123 | <ul className={styles.cv__activities}> | ||
124 | <li className={styles.cv__activity}> | ||
125 | Performing research and developing tools to address challenges in | ||
126 | the development of critical systems motivated by case studies and | ||
127 | collaborations with industry partners | ||
128 | </li> | ||
129 | <li className={styles.cv__activity}> | ||
130 | Created reliability models for{' '} | ||
131 | <i>distributed railway interlocking systems</i> in a{' '} | ||
132 | <a href="https://projektek.bme.hu/index.php?site=3_0_0&i=28"> | ||
133 | Hungarian national project | ||
134 | </a>{' '} | ||
135 | with{' '} | ||
136 | <a href="https://www.prolan.hu/" rel="nofollow"> | ||
137 | Prolan Zrt. | ||
138 | </a> | ||
139 | </li> | ||
140 | <li className={styles.cv__activity}> | ||
141 | 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 | Hungarian national project | ||
144 | </a>{' '} | ||
145 | with{' '} | ||
146 | <a href="https://www.thyssenkrupp.hu/en" rel="nofollow"> | ||
147 | thyssenkrupp Ltd. | ||
148 | </a> | ||
149 | </li> | ||
150 | </ul> | ||
151 | </li> | ||
152 | <li className={styles.cv__item}> | ||
153 | <h4 className={styles.cv__title}>Assistant research fellow</h4> | ||
154 | <p className={styles.cv__times}> | ||
155 | <span className={styles.cv__time}>2018–2019</span> | ||
156 | </p> | ||
157 | <p> | ||
158 | <i> | ||
159 | <a href="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 | Research Group | ||
162 | </a> | ||
163 | </i> | ||
164 | </p> | ||
165 | </li> | ||
166 | <li className={styles.cv__item}> | ||
167 | <h4 className={styles.cv__title}>Research trainee</h4> | ||
168 | <p className={styles.cv__times}> | ||
169 | <span className={styles.cv__time}>2014-2015</span> | ||
170 | </p> | ||
171 | <p> | ||
172 | <i> | ||
173 | <a href="https://web.archive.org/web/20150925191035/http://biointelligence.hu/"> | ||
174 | BioIntelligence Research Group, | ||
175 | </a>{' '} | ||
176 | <a href="https://semmelweis.hu/genomikai-medicina/en/"> | ||
177 | Institute of Genomic Medicine and Rare Disorders, | ||
178 | </a>{' '} | ||
179 | <a href="https://semmelweis.hu/en/">Semmelweis University,</a>{' '} | ||
180 | Budapest, Hungary | ||
181 | </i> | ||
182 | </p> | ||
183 | </li> | ||
184 | </ul> | ||
185 | </ResumeSection> | ||
186 | ); | ||
187 | } | ||
188 | |||
189 | function Awards() { | ||
190 | return ( | ||
191 | <ResumeSection> | ||
192 | <Subtitle icon="🏅">Scholarships and awards</Subtitle> | ||
193 | <ul className={styles.cv}> | ||
194 | <li className={styles.cv__item}> | ||
195 | <h4 className={styles.cv__title}> | ||
196 | <a href="https://www.unkp.gov.hu/"> | ||
197 | New National Excellence Programme (<span lang="hu">ÚNKP</span>) | ||
198 | </a> | ||
199 | </h4> | ||
200 | <p className={styles.cv__times}> | ||
201 | <span className={styles.cv__time}>2016 (MSc)</span>{' '} | ||
202 | <span className={styles.cv__time}>2018 (PhD student)</span>{' '} | ||
203 | <span className={styles.cv__time}>2021 (PhD candidate)</span>{' '} | ||
204 | <span className={styles.cv__time}>2023 (postdoc)</span>{' '} | ||
205 | </p> | ||
206 | <p className={styles.cv__muted}> | ||
207 | 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 | National Research, Development and Innovation Office (NRDI) | ||
210 | </a>{' '} | ||
211 | of Hungary to around 700 recipients per year | ||
212 | </p> | ||
213 | </li> | ||
214 | <li className={styles.cv__item}> | ||
215 | <h4 className={styles.cv__title}> | ||
216 | <a href="https://www.mit.bme.hu/events/2023/11/14/schnell-alapitvany-palyazati-felhivasok-2023"> | ||
217 | 2023 Josef Heim Award | ||
218 | </a> | ||
219 | </h4> | ||
220 | <p className={styles.cv__muted}> | ||
221 | Awarded by the{' '} | ||
222 | <a href="https://www.mit.bme.hu/general/alapitvany"> | ||
223 | László Schell Foundation | ||
224 | </a>{' '} | ||
225 | to 1 member of the{' '} | ||
226 | <i>Department of Measurement and Information Systems</i> per year | ||
227 | for exceptional work in innovation | ||
228 | </p> | ||
229 | </li> | ||
230 | <li className={styles.cv__item}> | ||
231 | <h4 className={styles.cv__title}> | ||
232 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts#Chairs-Report"> | ||
233 | OOPSLA 2021 Distinguished Artifact Reviewer | ||
234 | </a> | ||
235 | </h4> | ||
236 | </li> | ||
237 | <li className={styles.cv__item}> | ||
238 | <h4 className={styles.cv__title}> | ||
239 | <a href="https://www.mit.bme.hu/node/10575"> | ||
240 | 2020 László Schnell Award | ||
241 | </a> | ||
242 | </h4> | ||
243 | </li> | ||
244 | </ul> | ||
245 | </ResumeSection> | ||
246 | ); | ||
247 | } | ||
248 | |||
249 | function Visits() { | ||
250 | return ( | ||
251 | <ResumeSection> | ||
252 | <Subtitle icon="🏕️">Research visits</Subtitle> | ||
253 | <ul className={styles.cv}> | ||
254 | <li className={styles.cv__item}> | ||
255 | <h4 className={styles.cv__title}>Graduate research trainee</h4> | ||
256 | <p className={styles.cv__times}> | ||
257 | <span className={styles.cv__time}>May–June 2019</span>{' '} | ||
258 | <span className={styles.cv__time}>October 2020</span> | ||
259 | </p> | ||
260 | <p> | ||
261 | <i> | ||
262 | <a href="https://web.archive.org/web/20201124184148/https://www.mcgill.ca/ece/daniel-varro"> | ||
263 | Department of Electrical and Computer Engineering, | ||
264 | </a>{' '} | ||
265 | <a href="https://www.mcgill.ca/">McGill Univeristy,</a>{' '} | ||
266 | </i> | ||
267 | Montreal, Canada | ||
268 | </p> | ||
269 | </li> | ||
270 | <li className={styles.cv__item}> | ||
271 | <h4 className={styles.cv__title}>Visting researcher</h4> | ||
272 | <p className={styles.cv__times}> | ||
273 | <span className={styles.cv__time}>March 2019</span>{' '} | ||
274 | </p> | ||
275 | <p> | ||
276 | <i> | ||
277 | <a href="https://web.archive.org/web/20190430204608/https://people.disim.univaq.it/cortelle/"> | ||
278 | Department of Computer Science and Engineering, and Mathematics, | ||
279 | </a>{' '} | ||
280 | <a href="https://www.univaq.it/en/index.php?&lang_s=en"> | ||
281 | University of L'Aquila, | ||
282 | </a>{' '} | ||
283 | </i> | ||
284 | Italy | ||
285 | </p> | ||
286 | </li> | ||
287 | </ul> | ||
288 | </ResumeSection> | ||
289 | ); | ||
290 | } | ||
291 | |||
292 | function Teaching() { | ||
293 | return ( | ||
294 | <ResumeSection> | ||
295 | <Subtitle icon="👨🏫">Teaching and mentoring</Subtitle> | ||
296 | <ul className={styles.cv}> | ||
297 | <li className={styles.cv__item}> | ||
298 | <h4 className={styles.cv__title}> | ||
299 | Course coordinator of{' '} | ||
300 | <a href="https://portal.vik.bme.hu/kepzes/targyak/VIMIMB11/hu/"> | ||
301 | Critical Systems Laboratory | ||
302 | </a> | ||
303 | </h4> | ||
304 | <p className={styles.cv__times}> | ||
305 | <span className={styles.cv__time}>2024–</span> | ||
306 | </p> | ||
307 | </li> | ||
308 | <li className={styles.cv__item}> | ||
309 | <h4 className={styles.cv__title}>Teaching assistant</h4> | ||
310 | <p className={styles.cv__times}> | ||
311 | <span className={styles.cv__time}>2014–2023</span> | ||
312 | </p> | ||
313 | <ul className={styles.cv__activities}> | ||
314 | <li className={styles.cv__activity}> | ||
315 | Courses at the{' '} | ||
316 | <a href="https://mit.bme.hu"> | ||
317 | Deparment of Measurement and Information Systems | ||
318 | </a>{' '} | ||
319 | and the{' '} | ||
320 | <a href="https://cs.bme.hu"> | ||
321 | Deparment of Computer Science and Information Theory | ||
322 | </a> | ||
323 | </li> | ||
324 | <li className={styles.cv__activity}> | ||
325 | Including practice and lab sessions in the{' '} | ||
326 | <a href="https://imsc.vik.bme.hu/">IMsc programme</a> of BME for | ||
327 | talented BSc students | ||
328 | </li> | ||
329 | </ul> | ||
330 | </li> | ||
331 | <li className={styles.cv__item}> | ||
332 | <h4 className={styles.cv__title}> | ||
333 | Supervised BSc and MSc{' '} | ||
334 | <a href="https://diplomaterv.vik.bme.hu/hu/Supervisors/Marussy-Kristof"> | ||
335 | thesis works | ||
336 | </a> | ||
337 | </h4> | ||
338 | <p className={styles.cv__times}> | ||
339 | <span className={styles.cv__time}>7 × BSc</span>{' '} | ||
340 | <span className={styles.cv__time}>4 × MSc</span>{' '} | ||
341 | <span className={styles.cv__time}> | ||
342 | 1 × MSc{' '} | ||
343 | <a href="https://www.unkp.gov.hu/" lang="hu"> | ||
344 | ÚNKP | ||
345 | </a>{' '} | ||
346 | student research | ||
347 | </span> | ||
348 | </p> | ||
349 | </li> | ||
350 | <li className={styles.cv__item}> | ||
351 | <h4 className={styles.cv__title}> | ||
352 | Supervised{' '} | ||
353 | <a href="https://tdk.bme.hu/Browse/Users/Marussy-Kristof"> | ||
354 | Scientific Students' Association | ||
355 | </a>{' '} | ||
356 | research | ||
357 | </h4> | ||
358 | <p className={styles.cv__times}> | ||
359 | <span className={styles.cv__time}>5 × 🥇</span>{' '} | ||
360 | <span className={styles.cv__time}>4 × 🥈</span>{' '} | ||
361 | <span className={styles.cv__time}>1 × 🥉</span>{' '} | ||
362 | <span className={styles.cv__time}>1 × merit</span> | ||
363 | at university level | ||
364 | </p> | ||
365 | <p className={styles.cv__times}> | ||
366 | <span className={styles.cv__time}>1 × 🥈</span>{' '} | ||
367 | <span className={styles.cv__time}>1 × merit</span> | ||
368 | at national level | ||
369 | </p> | ||
370 | </li> | ||
371 | </ul> | ||
372 | </ResumeSection> | ||
373 | ); | ||
374 | } | ||
375 | |||
376 | function Service() { | ||
377 | return ( | ||
378 | <ResumeSection> | ||
379 | <Subtitle icon="📔">Academic service</Subtitle> | ||
380 | <ul className={styles.cv}> | ||
381 | <li className={styles.cv__item}> | ||
382 | <h4 className={styles.cv__title}>Program Committe member</h4> | ||
383 | <p className={styles.cv__times}> | ||
384 | <span className={styles.cv__time}> | ||
385 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | ||
386 | LLM4MDE ’24 | ||
387 | </a> | ||
388 | </span> | ||
389 | </p> | ||
390 | </li> | ||
391 | <li className={styles.cv__item}> | ||
392 | <h4 className={styles.cv__title}>Extended Review Committe member</h4> | ||
393 | <p className={styles.cv__times}> | ||
394 | <span className={styles.cv__time}> | ||
395 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | ||
396 | OOPSLA ’23 | ||
397 | </a> | ||
398 | </span>{' '} | ||
399 | <span className={styles.cv__time}> | ||
400 | <a href="https://2023.ecoop.org/committee/ecoop-2023-research-papers-extended-review-committee"> | ||
401 | ECOOP ’23 | ||
402 | </a>{' '} | ||
403 | and{' '} | ||
404 | <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-"> | ||
405 | ’22 | ||
406 | </a> | ||
407 | </span> | ||
408 | </p> | ||
409 | </li> | ||
410 | <li className={styles.cv__item}> | ||
411 | <h4 className={styles.cv__title}> | ||
412 | Artifact Evaluation Committe member | ||
413 | </h4> | ||
414 | <p className={styles.cv__times}> | ||
415 | <span className={styles.cv__time}> | ||
416 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | ||
417 | OOPSLA ’23 | ||
418 | </a>{' '} | ||
419 | and{' '} | ||
420 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts"> | ||
421 | ’21 | ||
422 | </a> | ||
423 | </span>{' '} | ||
424 | <span className={styles.cv__time}> | ||
425 | <a href="https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee"> | ||
426 | ECOOP ’23 | ||
427 | </a>{' '} | ||
428 | and{' '} | ||
429 | <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee"> | ||
430 | ’22 | ||
431 | </a> | ||
432 | </span>{' '} | ||
433 | <span className={styles.cv__time}> | ||
434 | <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> | ||
435 | FASE ’24 | ||
436 | </a>{' '} | ||
437 | and{' '} | ||
438 | <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> | ||
439 | ’23 | ||
440 | </a> | ||
441 | </span>{' '} | ||
442 | <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 | ESOP ’22 | ||
445 | </a> | ||
446 | </span>{' '} | ||
447 | </p> | ||
448 | </li> | ||
449 | <li className={styles.cv__item}> | ||
450 | <h4 className={styles.cv__title}>Reviewing for journals</h4> | ||
451 | <ul className={styles.cv__activities}> | ||
452 | <li | ||
453 | className={clsx( | ||
454 | styles.cv__activity, | ||
455 | styles['cv__activity--tight'], | ||
456 | )} | ||
457 | > | ||
458 | <a | ||
459 | href="https://www.sciencedirect.com/journal/science-of-computer-programming" | ||
460 | rel="nofollow" | ||
461 | > | ||
462 | Science of Computer Programming | ||
463 | </a> | ||
464 | </li> | ||
465 | <li | ||
466 | className={clsx( | ||
467 | styles.cv__activity, | ||
468 | styles['cv__activity--tight'], | ||
469 | )} | ||
470 | > | ||
471 | <a | ||
472 | href="https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming" | ||
473 | rel="nofollow" | ||
474 | > | ||
475 | Journal of Logical and Algebraic Methods in Programming | ||
476 | </a> | ||
477 | </li> | ||
478 | </ul> | ||
479 | </li> | ||
480 | </ul> | ||
481 | </ResumeSection> | ||
482 | ); | ||
483 | } | ||
484 | |||
14 | export default function Resume() { | 485 | export default function Resume() { |
15 | return ( | 486 | return ( |
16 | <Section title="Resume"> | 487 | <Section id="resume" title="Resume"> |
17 | <div className="container"> | 488 | <div className="container"> |
18 | <div className="row"> | 489 | <div className={styles.resume}> |
19 | <div className="col col-6"> | 490 | <Education /> |
20 | <Subtitle icon="🎓">Education</Subtitle> | 491 | <Experience /> |
21 | <ul className={styles.cv}> | 492 | <Awards /> |
22 | <li className={styles.cv__item}> | 493 | <Visits /> |
23 | <h4 className={styles.cv__title}>Doctor of Philosophy (PhD)</h4> | 494 | <Teaching /> |
24 | <p className={styles.cv__times}> | 495 | <Service /> |
25 | <span className={styles.cv__time}>2018–2023</span> | ||
26 | </p> | ||
27 | <p> | ||
28 | <i>Budapest Unversity of Technology and Economics</i> | ||
29 | </p> | ||
30 | <p> | ||
31 | Thesis:{' '} | ||
32 | <a href="/thesis.pdf"> | ||
33 | <b> | ||
34 | Abstraction Techniques for the Analysis and Synthesis of | ||
35 | Critical Cyber-Physical System Architectures | ||
36 | </b> | ||
37 | </a> | ||
38 | </p> | ||
39 | <div className={styles['thesis-links']}> | ||
40 | <a | ||
41 | href="/thesis.pdf" | ||
42 | className={clsx( | ||
43 | 'button', | ||
44 | 'button--primary', | ||
45 | styles['thesis-links__link'], | ||
46 | )} | ||
47 | > | ||
48 | Read now | ||
49 | </a> | ||
50 | <a | ||
51 | href="/thesis-booklet-en.pdf" | ||
52 | className={clsx( | ||
53 | 'button', | ||
54 | 'button--secondary', | ||
55 | styles['thesis-links__link'], | ||
56 | )} | ||
57 | > | ||
58 | Extended abstract | ||
59 | </a> | ||
60 | <a | ||
61 | href="http://hdl.handle.net/10890/41832" | ||
62 | className={styles['thesis-links__link']} | ||
63 | > | ||
64 | Also available via HDL.NET | ||
65 | </a> | ||
66 | </div> | ||
67 | </li> | ||
68 | <li className={styles.cv__item}> | ||
69 | <h4 className={styles.cv__title}>Master of Science (MSc)</h4> | ||
70 | <p className={styles.cv__times}> | ||
71 | <span className={styles.cv__time}>2016–2018</span> | ||
72 | </p> | ||
73 | <p> | ||
74 | <i>Budapest Unversity of Technology and Economics</i> | ||
75 | </p> | ||
76 | </li> | ||
77 | <li className={styles.cv__item}> | ||
78 | <h4 className={styles.cv__title}>Bachleor of Science (BSc)</h4> | ||
79 | <p className={styles.cv__times}> | ||
80 | <span className={styles.cv__time}>2012–2016</span> | ||
81 | </p> | ||
82 | <p> | ||
83 | <i>Budapest Unversity of Technology and Economics</i> | ||
84 | </p> | ||
85 | </li> | ||
86 | </ul> | ||
87 | <Subtitle icon="🏅">Scholarships and awards</Subtitle> | ||
88 | <ul className={styles.cv}> | ||
89 | <li className={styles.cv__item}> | ||
90 | <h4 className={styles.cv__title}> | ||
91 | <a href="https://www.unkp.gov.hu/"> | ||
92 | New National Excellence Programme ( | ||
93 | <span lang="hu">ÚNKP</span>) | ||
94 | </a> | ||
95 | </h4> | ||
96 | <p className={styles.cv__times}> | ||
97 | <span className={styles.cv__time}>2016 (MSc)</span>{' '} | ||
98 | <span className={styles.cv__time}>2018 (PhD student)</span>{' '} | ||
99 | <span className={styles.cv__time}>2021 (PhD candidate)</span>{' '} | ||
100 | <span className={styles.cv__time}>2023 (postdoc)</span>{' '} | ||
101 | </p> | ||
102 | <p className={styles.cv__awarddesc}> | ||
103 | Awarded by the{' '} | ||
104 | <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"> | ||
105 | National Research, Development and Innovation Office (NRDI) | ||
106 | </a>{' '} | ||
107 | of Hungary to around 700 recipents per year | ||
108 | </p> | ||
109 | </li> | ||
110 | <li className={styles.cv__item}> | ||
111 | <h4 className={styles.cv__title}> | ||
112 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts#Chairs-Report"> | ||
113 | OOPSLA 2021 Distinguished Artifact Reviewer | ||
114 | </a> | ||
115 | </h4> | ||
116 | </li> | ||
117 | <li className={styles.cv__item}> | ||
118 | <h4 className={styles.cv__title}> | ||
119 | <a href="https://www.mit.bme.hu/node/10575"> | ||
120 | 2020 László Schnell Award | ||
121 | </a> | ||
122 | </h4> | ||
123 | <p className={styles.cv__awarddesc}> | ||
124 | Awarded by the{' '} | ||
125 | <a href="https://www.mit.bme.hu/general/alapitvany"> | ||
126 | László Schell Foundation | ||
127 | </a>{' '} | ||
128 | to 1 member of the{' '} | ||
129 | <i>Department of Measurement and Information Systems</i> per | ||
130 | year for exceptional research work | ||
131 | </p> | ||
132 | </li> | ||
133 | </ul> | ||
134 | <Subtitle icon="👨🏫">Teaching and mentoring</Subtitle> | ||
135 | <ul className={styles.cv}> | ||
136 | <li className={styles.cv__item}> | ||
137 | <h4 className={styles.cv__title}>Teaching assistant</h4> | ||
138 | <p className={styles.cv__times}> | ||
139 | <span className={styles.cv__time}>2014–</span> | ||
140 | </p> | ||
141 | <ul className={styles.cv__activities}> | ||
142 | <li className={styles.cv__activity}> | ||
143 | Courses at the{' '} | ||
144 | <a href="https://mit.bme.hu"> | ||
145 | Deparment of Measurement and Information Systems | ||
146 | </a>{' '} | ||
147 | and the{' '} | ||
148 | <a href="https://cs.bme.hu"> | ||
149 | Deparment of Computer Science and Information Theory | ||
150 | </a> | ||
151 | </li> | ||
152 | <li className={styles.cv__activity}> | ||
153 | Including practice and lab sessions in the{' '} | ||
154 | <a href="https://imsc.vik.bme.hu/">IMsc programme</a> of BME | ||
155 | for talented BSc students | ||
156 | </li> | ||
157 | </ul> | ||
158 | </li> | ||
159 | <li className={styles.cv__item}> | ||
160 | <h4 className={styles.cv__title}> | ||
161 | Supervised BSc and MSc{' '} | ||
162 | <a href="https://diplomaterv.vik.bme.hu/hu/Supervisors/Marussy-Kristof"> | ||
163 | thesis works | ||
164 | </a> | ||
165 | </h4> | ||
166 | <p className={styles.cv__times}> | ||
167 | <span className={styles.cv__time}>7 × BSc</span>{' '} | ||
168 | <span className={styles.cv__time}>4 × MSc</span>{' '} | ||
169 | <span className={styles.cv__time}> | ||
170 | 1 × MSc{' '} | ||
171 | <a href="https://www.unkp.gov.hu/" lang="hu"> | ||
172 | ÚNKP research | ||
173 | </a> | ||
174 | </span> | ||
175 | </p> | ||
176 | </li> | ||
177 | <li className={styles.cv__item}> | ||
178 | <h4 className={styles.cv__title}> | ||
179 | Supervised{' '} | ||
180 | <a href="https://tdk.bme.hu/Browse/Users/Marussy-Kristof"> | ||
181 | Scientific Students' Association | ||
182 | </a>{' '} | ||
183 | research | ||
184 | </h4> | ||
185 | <p className={styles.cv__times}> | ||
186 | <span className={styles.cv__time}>5 × 🥇</span>{' '} | ||
187 | <span className={styles.cv__time}>4 × 🥈</span>{' '} | ||
188 | <span className={styles.cv__time}>1 × 🥉</span>{' '} | ||
189 | <span className={styles.cv__time}>1 × merit</span> | ||
190 | at university level | ||
191 | </p> | ||
192 | <p className={styles.cv__times}> | ||
193 | <span className={styles.cv__time}>1 × 🥈</span>{' '} | ||
194 | <span className={styles.cv__time}>1 × merit</span> | ||
195 | at national level | ||
196 | </p> | ||
197 | </li> | ||
198 | </ul> | ||
199 | </div> | ||
200 | <div className="col col-6"> | ||
201 | <Subtitle icon="👨💼">Professional experience</Subtitle> | ||
202 | <ul className={styles.cv}> | ||
203 | <li className={styles.cv__item}> | ||
204 | <h4 className={styles.cv__title}>Assistant research fellow</h4> | ||
205 | <p className={styles.cv__times}> | ||
206 | <span className={styles.cv__time}>2020–2023</span> | ||
207 | </p> | ||
208 | <p> | ||
209 | <i> | ||
210 | Department of Measurement and Information Systems, Budapest | ||
211 | Unversity of Technology and Economics, Hungary | ||
212 | </i> | ||
213 | </p> | ||
214 | <ul className={styles.cv__activities}> | ||
215 | <li className={styles.cv__activity}> | ||
216 | Performing research and developing tools to address | ||
217 | challanges in the development of critical systems motivated | ||
218 | by case studies and collaborations with industry partners | ||
219 | </li> | ||
220 | <li className={styles.cv__activity}> | ||
221 | Created reliability models for{' '} | ||
222 | <i>distributed railway interlocking systems</i> in a{' '} | ||
223 | <a href="https://projektek.bme.hu/index.php?site=3_0_0&i=28"> | ||
224 | Hungarian national project | ||
225 | </a>{' '} | ||
226 | with <a href="https://www.prolan.hu/">Prolan Zrt.</a> | ||
227 | </li> | ||
228 | <li className={styles.cv__activity}> | ||
229 | Participated in the formal verification of a{' '} | ||
230 | <i>critical automotive subsystem</i> in a{' '} | ||
231 | <a href="https://projektek.bme.hu/index.php?site=3_1_0&i=18"> | ||
232 | Hungarian national project | ||
233 | </a>{' '} | ||
234 | with{' '} | ||
235 | <a href="https://www.thyssenkrupp.hu/en"> | ||
236 | thyssenkrupp Ltd. | ||
237 | </a> | ||
238 | </li> | ||
239 | </ul> | ||
240 | </li> | ||
241 | <li className={styles.cv__item}> | ||
242 | <h4 className={styles.cv__title}>Assistant research fellow</h4> | ||
243 | <p className={styles.cv__times}> | ||
244 | <span className={styles.cv__time}>2018–2019</span> | ||
245 | </p> | ||
246 | <p> | ||
247 | <i> | ||
248 | <a href="https://web.archive.org/web/20200919160859/https://lendulet.inf.mit.bme.hu/"> | ||
249 | MTA-BME <span lang="hu">Lendület</span> Cyber-Physical | ||
250 | Systems Research Group | ||
251 | </a> | ||
252 | </i> | ||
253 | </p> | ||
254 | </li> | ||
255 | <li className={styles.cv__item}> | ||
256 | <h4 className={styles.cv__title}>Research trainee</h4> | ||
257 | <p className={styles.cv__times}> | ||
258 | <span className={styles.cv__time}>2014-2015</span> | ||
259 | </p> | ||
260 | <p> | ||
261 | <i> | ||
262 | <a href="https://web.archive.org/web/20150925191035/http://biointelligence.hu/"> | ||
263 | BioIntelligence Research Group, | ||
264 | </a>{' '} | ||
265 | <a href="https://semmelweis.hu/genomikai-medicina/en/"> | ||
266 | Institute of Genomic Medicine and Rare Disorders, | ||
267 | </a>{' '} | ||
268 | <a href="https://semmelweis.hu/en/"> | ||
269 | Semmelweis University, | ||
270 | </a>{' '} | ||
271 | Budapest, Hungary | ||
272 | </i> | ||
273 | </p> | ||
274 | </li> | ||
275 | </ul> | ||
276 | <Subtitle icon="🏕️">Research visits</Subtitle> | ||
277 | <ul className={styles.cv}> | ||
278 | <li className={styles.cv__item}> | ||
279 | <h4 className={styles.cv__title}>Graduate research trainee</h4> | ||
280 | <p className={styles.cv__times}> | ||
281 | <span className={styles.cv__time}>May–June 2019</span>{' '} | ||
282 | <span className={styles.cv__time}>October 2020</span> | ||
283 | </p> | ||
284 | <p> | ||
285 | <i> | ||
286 | <a href="https://web.archive.org/web/20201124184148/https://www.mcgill.ca/ece/daniel-varro"> | ||
287 | Department of Electrical and Computer Engineering, | ||
288 | </a>{' '} | ||
289 | <a href="https://www.mcgill.ca/">McGill Univeristy,</a>{' '} | ||
290 | </i> | ||
291 | Montreal, Canada | ||
292 | </p> | ||
293 | </li> | ||
294 | <li className={styles.cv__item}> | ||
295 | <h4 className={styles.cv__title}>Visting researcher</h4> | ||
296 | <p className={styles.cv__times}> | ||
297 | <span className={styles.cv__time}>March 2019</span>{' '} | ||
298 | </p> | ||
299 | <p> | ||
300 | <i> | ||
301 | <a href="https://web.archive.org/web/20190430204608/https://people.disim.univaq.it/cortelle/"> | ||
302 | Department of Computer Science and Engineering, and | ||
303 | Mathematics, | ||
304 | </a>{' '} | ||
305 | <a href="https://www.univaq.it/en/index.php?&lang_s=en"> | ||
306 | University of L'Aquila, | ||
307 | </a>{' '} | ||
308 | </i> | ||
309 | Italy | ||
310 | </p> | ||
311 | </li> | ||
312 | </ul> | ||
313 | <Subtitle icon="📔">Academic service</Subtitle> | ||
314 | <ul className={styles.cv}> | ||
315 | <li className={styles.cv__item}> | ||
316 | <h4 className={styles.cv__title}> | ||
317 | Extended Review Committe member | ||
318 | </h4> | ||
319 | <p className={styles.cv__times}> | ||
320 | <span className={styles.cv__time}> | ||
321 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | ||
322 | OOPSLA ’23 | ||
323 | </a> | ||
324 | </span>{' '} | ||
325 | <span className={styles.cv__time}> | ||
326 | <a href="https://2023.ecoop.org/committee/ecoop-2023-research-papers-extended-review-committee"> | ||
327 | ECOOP ’23 | ||
328 | </a>{' '} | ||
329 | and{' '} | ||
330 | <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-"> | ||
331 | ’22 | ||
332 | </a> | ||
333 | </span> | ||
334 | </p> | ||
335 | </li> | ||
336 | <li className={styles.cv__item}> | ||
337 | <h4 className={styles.cv__title}> | ||
338 | Artifact Evaluation Committe member | ||
339 | </h4> | ||
340 | <p className={styles.cv__times}> | ||
341 | <span className={styles.cv__time}> | ||
342 | <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee"> | ||
343 | OOPSLA ’23 | ||
344 | </a>{' '} | ||
345 | and{' '} | ||
346 | <a href="https://2021.splashcon.org/track/splash-2021-Artifacts"> | ||
347 | ’21 | ||
348 | </a> | ||
349 | </span>{' '} | ||
350 | <span className={styles.cv__time}> | ||
351 | <a href="https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee"> | ||
352 | ECOOP ’23 | ||
353 | </a>{' '} | ||
354 | and{' '} | ||
355 | <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee"> | ||
356 | ’22 | ||
357 | </a> | ||
358 | </span>{' '} | ||
359 | <span className={styles.cv__time}> | ||
360 | <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/"> | ||
361 | FASE ’23 | ||
362 | </a> | ||
363 | </span>{' '} | ||
364 | <span className={styles.cv__time}> | ||
365 | <a href="https://www.etaps.org/user-profile/archive/53-etaps-2022/491-esop-2022-artifact-evaluation.html"> | ||
366 | ESOP ’22 | ||
367 | </a> | ||
368 | </span>{' '} | ||
369 | </p> | ||
370 | </li> | ||
371 | <li className={styles.cv__item}> | ||
372 | <h4 className={styles.cv__title}>Reviewing for journals</h4> | ||
373 | <ul className={styles.cv__activities}> | ||
374 | <li | ||
375 | className={clsx( | ||
376 | styles.cv__activity, | ||
377 | styles['cv__activity--tight'], | ||
378 | )} | ||
379 | > | ||
380 | Science of Computer Programming | ||
381 | </li> | ||
382 | <li | ||
383 | className={clsx( | ||
384 | styles.cv__activity, | ||
385 | styles['cv__activity--tight'], | ||
386 | )} | ||
387 | > | ||
388 | Journal of Logical and Algebraic Methods in Programming | ||
389 | </li> | ||
390 | </ul> | ||
391 | </li> | ||
392 | </ul> | ||
393 | </div> | ||
394 | </div> | 496 | </div> |
395 | </div> | 497 | </div> |
396 | </Section> | 498 | </Section> |