aboutsummaryrefslogtreecommitdiffstats
path: root/src/components/landing/sections/Resume.tsx
diff options
context:
space:
mode:
Diffstat (limited to 'src/components/landing/sections/Resume.tsx')
-rw-r--r--src/components/landing/sections/Resume.tsx858
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
7import { Lock } from '@phosphor-icons/react';
7import clsx from 'clsx'; 8import clsx from 'clsx';
8 9
9import Section from '@site/src/components/landing/Section'; 10import Section from '@site/src/components/landing/Section';
@@ -11,386 +12,487 @@ import Subtitle from '@site/src/components/landing/Subtitle';
11 12
12import styles from './Resume.module.css'; 13import styles from './Resume.module.css';
13 14
15function ResumeSection({ children }: { children?: React.ReactNode }) {
16 return <div className={styles.resume__section}>{children}</div>;
17}
18
19function 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&ndash;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&ndash;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&ndash;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
101function 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&ndash;</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&ndash;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&ndash;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
189function 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
249function 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&ndash;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
292function 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&ndash;</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&ndash;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 &times; BSc</span>{' '}
340 <span className={styles.cv__time}>4 &times; MSc</span>{' '}
341 <span className={styles.cv__time}>
342 1 &times; 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 &times; 🥇</span>{' '}
360 <span className={styles.cv__time}>4 &times; 🥈</span>{' '}
361 <span className={styles.cv__time}>1 &times; 🥉</span>{' '}
362 <span className={styles.cv__time}>1 &times; merit</span>
363 at university level
364 </p>
365 <p className={styles.cv__times}>
366 <span className={styles.cv__time}>1 &times; 🥈</span>{' '}
367 <span className={styles.cv__time}>1 &times; merit</span>
368 at national level
369 </p>
370 </li>
371 </ul>
372 </ResumeSection>
373 );
374}
375
376function 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 &rsquo;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 &rsquo;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 &rsquo;23
402 </a>{' '}
403 and{' '}
404 <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-">
405 &rsquo;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 &rsquo;23
418 </a>{' '}
419 and{' '}
420 <a href="https://2021.splashcon.org/track/splash-2021-Artifacts">
421 &rsquo;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 &rsquo;23
427 </a>{' '}
428 and{' '}
429 <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee">
430 &rsquo;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 &rsquo;24
436 </a>{' '}
437 and{' '}
438 <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/">
439 &rsquo;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 &rsquo;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
14export default function Resume() { 485export 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&ndash;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&ndash;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&ndash;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&ndash;</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 &times; BSc</span>{' '}
168 <span className={styles.cv__time}>4 &times; MSc</span>{' '}
169 <span className={styles.cv__time}>
170 1 &times; 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 &times; 🥇</span>{' '}
187 <span className={styles.cv__time}>4 &times; 🥈</span>{' '}
188 <span className={styles.cv__time}>1 &times; 🥉</span>{' '}
189 <span className={styles.cv__time}>1 &times; merit</span>
190 at university level
191 </p>
192 <p className={styles.cv__times}>
193 <span className={styles.cv__time}>1 &times; 🥈</span>{' '}
194 <span className={styles.cv__time}>1 &times; 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&ndash;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&ndash;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&ndash;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 &rsquo;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 &rsquo;23
328 </a>{' '}
329 and{' '}
330 <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-">
331 &rsquo;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 &rsquo;23
344 </a>{' '}
345 and{' '}
346 <a href="https://2021.splashcon.org/track/splash-2021-Artifacts">
347 &rsquo;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 &rsquo;23
353 </a>{' '}
354 and{' '}
355 <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee">
356 &rsquo;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 &rsquo;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 &rsquo;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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-01 23:46:03 +0000