aboutsummaryrefslogtreecommitdiffstats
path: root/src/components/landing
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-11-22 19:55:45 +0100
committerLibravatar Kristóf Marussy <kristof@marussy.com>2024-03-15 19:19:33 +0100
commitdac507c3b8de3c135bfb3c94600b93e8f069b01a (patch)
treefcbc22f5639631719be25bc5f8c3db3e5ebc7c9b /src/components/landing
parentbump dependencies (diff)
downloadblog-dac507c3b8de3c135bfb3c94600b93e8f069b01a.tar.gz
blog-dac507c3b8de3c135bfb3c94600b93e8f069b01a.tar.zst
blog-dac507c3b8de3c135bfb3c94600b93e8f069b01a.zip
refactor landing page
Diffstat (limited to 'src/components/landing')
-rw-r--r--src/components/landing/Section.module.css38
-rw-r--r--src/components/landing/Section.tsx24
-rw-r--r--src/components/landing/Subtitle.module.css10
-rw-r--r--src/components/landing/Subtitle.tsx24
-rw-r--r--src/components/landing/sections/Hero.module.css81
-rw-r--r--src/components/landing/sections/Hero.tsx129
-rw-r--r--src/components/landing/sections/Resume.module.css121
-rw-r--r--src/components/landing/sections/Resume.tsx398
8 files changed, 825 insertions, 0 deletions
diff --git a/src/components/landing/Section.module.css b/src/components/landing/Section.module.css
new file mode 100644
index 0000000..3f2bbdc
--- /dev/null
+++ b/src/components/landing/Section.module.css
@@ -0,0 +1,38 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7.section {
8 display: flex;
9 flex-direction: column;
10 padding: 2rem;
11}
12
13@media (max-width: 996px) {
14 .section {
15 padding-left: 0;
16 padding-right: 0;
17 }
18}
19
20.section__title {
21 position: relative;
22 display: block;
23 --ifm-h2-font-size: 2rem;
24 margin: 0 auto 1rem auto;
25 padding-bottom: 0.25rem;
26}
27
28.section__title::after {
29 content: ' ';
30 position: absolute;
31 height: 0.25rem;
32 width: 100%;
33 bottom: 0;
34 left: 0;
35 right: 0;
36 background: var(--ifm-color-primary);
37 transform: skew(-30deg, 0);
38}
diff --git a/src/components/landing/Section.tsx b/src/components/landing/Section.tsx
new file mode 100644
index 0000000..f44272d
--- /dev/null
+++ b/src/components/landing/Section.tsx
@@ -0,0 +1,24 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7import type { ReactNode } from 'react';
8
9import styles from './Section.module.css';
10
11export default function Section({
12 title,
13 children,
14}: {
15 title: string;
16 children?: ReactNode;
17}) {
18 return (
19 <section className={styles.section}>
20 <h2 className={styles.section__title}>{title}</h2>
21 {children}
22 </section>
23 );
24}
diff --git a/src/components/landing/Subtitle.module.css b/src/components/landing/Subtitle.module.css
new file mode 100644
index 0000000..9f5233c
--- /dev/null
+++ b/src/components/landing/Subtitle.module.css
@@ -0,0 +1,10 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7.subtitle {
8 --ifm-h3-font-size: 1.5rem;
9 margin: 1.5rem 0;
10}
diff --git a/src/components/landing/Subtitle.tsx b/src/components/landing/Subtitle.tsx
new file mode 100644
index 0000000..d514f71
--- /dev/null
+++ b/src/components/landing/Subtitle.tsx
@@ -0,0 +1,24 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7import type { ReactNode } from 'react';
8
9import styles from './Subtitle.module.css';
10
11export default function Subtitle({
12 icon,
13 children,
14}: {
15 icon: string;
16 children?: ReactNode;
17}) {
18 return (
19 <h3 className={styles.subtitle}>
20 {icon !== undefined && <>{icon}&nbsp;</>}
21 {children}
22 </h3>
23 );
24}
diff --git a/src/components/landing/sections/Hero.module.css b/src/components/landing/sections/Hero.module.css
new file mode 100644
index 0000000..bc5c151
--- /dev/null
+++ b/src/components/landing/sections/Hero.module.css
@@ -0,0 +1,81 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7.hero {
8 /* Reserve space for the bottom padding of the avatar in single-column mode. */
9 padding-bottom: 2rem;
10 --ifm-link-color: #6ea1f7;
11 --ifm-link-hover-color: var(--ifm-link-color);
12}
13
14.hero__col {
15 display: flex;
16 flex-direction: column;
17 justify-content: center;
18 padding-bottom: 2rem;
19}
20
21.avatar {
22 align-items: center;
23}
24
25.avatar__image {
26 width: 100%;
27 max-width: 298px;
28 border-radius: 100em;
29}
30
31.introduction {
32 font-family: var(--ifm-font-family-base);
33 font-weight: 500;
34 --casl: 0;
35 font-size: 1.5rem;
36}
37
38.introduction__name {
39 font-family: var(--ifm-heading-font-family);
40 font-weight: var(--ifm-heading-font-weight);
41 --casl: 1;
42 font-size: 2.5rem;
43 white-space: pre;
44}
45
46.cta {
47 display: flex;
48 flex-direction: row;
49 flex-wrap: wrap;
50 gap: 1rem;
51}
52
53.cta__button {
54 flex: 1;
55}
56
57.contacts {
58 display: flex;
59 flex-direction: row;
60 flex-grow: 999999;
61 margin: 0 0 0 -0.5rem;
62 padding: 0;
63}
64
65.contacts__item {
66 display: flex;
67 align-items: center;
68}
69
70.contacts__icon {
71 padding: 0.375rem 0.5rem;
72 display: flex;
73 --ifm-link-color: var(--ifm-color-secondary);
74 --ifm-link-hover-color: var(--ifm-color-secondary-dark);
75 --ifm-link-text-decoration: none;
76}
77
78.contacts__icon svg {
79 width: 2rem;
80 height: 2rem;
81}
diff --git a/src/components/landing/sections/Hero.tsx b/src/components/landing/sections/Hero.tsx
new file mode 100644
index 0000000..a56deb1
--- /dev/null
+++ b/src/components/landing/sections/Hero.tsx
@@ -0,0 +1,129 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7import clsx from 'clsx';
8
9import {
10 FediverseIcon,
11 GithubIcon,
12 GoogleScholarIcon,
13 LinkedInIcon,
14 OrcidIcon,
15} from '@site/src/components/icons';
16
17import styles from './Hero.module.css';
18
19export default function Hero({ avatar }: { avatar: string }) {
20 return (
21 <header className={clsx('hero', 'hero--dark', styles.hero)}>
22 <div className="container">
23 <div className="row">
24 <div
25 className={clsx('col', 'col--3', styles.hero__col, styles.avatar)}
26 >
27 <img src={avatar} alt="My photo" className={styles.avatar__image} />
28 </div>
29 <div className={clsx('col', 'col--9', styles.hero__col)}>
30 <h1 className={clsx('hero__title', styles.introduction)}>
31 Hi! 👋 I&rsquo;m{' '}
32 <span className={styles.introduction__name}>Kristóf Marussy</span>
33 </h1>
34 <p>
35 I&rsquo;m a research fellow working at the{' '}
36 <a href="https://ftsrg.mit.bme.hu">
37 🔬&nbsp;Critical Systems Research Group&nbsp;(
38 <abbr>ftsrg</abbr>)
39 </a>{' '}
40 at the{' '}
41 <a href="https://mit.bme.hu">
42 🏫&nbsp;Department of Measurement and Information
43 Systems&nbsp;(MIT)
44 </a>{' '}
45 at{' '}
46 <a href="https://bme.hu">
47 🏛️&nbsp;Budapest University of Technology and
48 Economics&nbsp;(BME)
49 </a>
50 . My reasearch interests include graph generation, logic solvers,
51 formal verification, and applying these techniques for ensuring
52 the safety and correcness of critical systems.
53 </p>
54 <p>
55 I also like free (as in liberty) and open source software. My
56 pronouns are he/him.
57 </p>
58 <div className={styles.cta}>
59 <a
60 href="/cv.pdf"
61 className={clsx(
62 'button',
63 'button--lg',
64 'button--primary',
65 styles.cta__button,
66 )}
67 >
68 Read my CV
69 </a>
70 <a
71 href="#contact"
72 className={clsx(
73 'button',
74 'button--lg',
75 'button--secondary',
76 styles.cta__button,
77 )}
78 >
79 Contact me
80 </a>
81 <ul className={styles.contacts}>
82 <li className={styles.contacts__item}>
83 <a
84 href="https://orcid.org/0000-0002-9135-8256"
85 className={styles.contacts__icon}
86 >
87 <OrcidIcon />
88 </a>
89 </li>
90 <li className={styles.contacts__item}>
91 <a
92 href="https://scholar.google.com/citations?user=E9CKNYoAAAAJ"
93 className={styles.contacts__icon}
94 >
95 <GoogleScholarIcon />
96 </a>
97 </li>
98 <li className={styles.contacts__item}>
99 <a
100 href="https://github.com/kris7t/"
101 className={styles.contacts__icon}
102 >
103 <GithubIcon />
104 </a>
105 </li>
106 <li className={styles.contacts__item}>
107 <a
108 href="https://pleroma.marussy.com/users/kristof"
109 className={styles.contacts__icon}
110 >
111 <FediverseIcon />
112 </a>
113 </li>
114 <li className={styles.contacts__item}>
115 <a
116 href="https://www.linkedin.com/in/k-marussy"
117 className={styles.contacts__icon}
118 >
119 <LinkedInIcon />
120 </a>
121 </li>
122 </ul>
123 </div>
124 </div>
125 </div>
126 </div>
127 </header>
128 );
129}
diff --git a/src/components/landing/sections/Resume.module.css b/src/components/landing/sections/Resume.module.css
new file mode 100644
index 0000000..246ebec
--- /dev/null
+++ b/src/components/landing/sections/Resume.module.css
@@ -0,0 +1,121 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT
5 */
6
7.cv {
8 position: relative;
9}
10
11.cv::before {
12 content: ' ';
13 position: absolute;
14 width: 0.25rem;
15 top: 0.5rem;
16 bottom: 0;
17 left: 0.5rem;
18 background: var(--ifm-color-primary);
19 transform: skew(0, -30deg);
20}
21
22.cv__item {
23 position: relative;
24 list-style-type: none;
25}
26
27.cv__item::before {
28 position: absolute;
29 content: ' ';
30 top: 0;
31 left: -2rem;
32 width: 0.75rem;
33 height: 0.75rem;
34 background: var(--ifm-color-white);
35 border: 0.25rem solid var(--ifm-color-primary);
36 border-radius: 100em;
37}
38
39[data-theme='dark'] .cv__item::before {
40 background: var(--ifm-background-color);
41}
42
43.cv__item p {
44 margin: 1rem 0;
45}
46
47.cv__title {
48 --casl: 0;
49}
50
51.cv__times {
52 display: flex;
53 flex-wrap: wrap;
54 align-items: baseline;
55 gap: 0.5rem;
56}
57
58.cv__time {
59 position: relative;
60 display: inline-block;
61 padding: 0.25rem 0.5em;
62 font-size: 0.9rem;
63 --mono: 1;
64}
65
66.cv__time::before {
67 content: ' ';
68 position: absolute;
69 top: 0;
70 bottom: 0;
71 left: 0;
72 right: 0;
73 z-index: -1;
74 background: var(--ifm-color-emphasis-200);
75 transform: skew(-12deg, 0);
76}
77
78[data-theme='dark'] .cv__time::before {
79 background: var(--ifm-pre-background);
80}
81
82[data-theme='dark'] .cv__time a {
83 --ifm-link-color: var(--ifm-color-primary-light);
84 --ifm-link-hover-color: var(--ifm-color-primary-light);
85}
86
87.cv__awarddesc {
88 font-size: 0.875rem;
89 color: var(--ifm-color-emphasis-800);
90}
91
92[data-theme='dark'] .cv__awarddesc {
93 color: var(--ifm-color-emphasis-600);
94}
95
96.cv__activities {
97 margin: 1em 0;
98}
99
100.cv__activity {
101 margin: 1em 0;
102 list-style-type: disc;
103}
104
105.cv__activity--tight {
106 margin: 0;
107}
108
109.thesis-links {
110 display: flex;
111 column-gap: 0.5rem;
112 row-gap: 1rem;
113 flex-wrap: wrap;
114 align-items: baseline;
115 width: 100%;
116 margin: 1rem 0;
117}
118
119.thesis-links__link {
120 font-size: 0.875rem;
121}
diff --git a/src/components/landing/sections/Resume.tsx b/src/components/landing/sections/Resume.tsx
new file mode 100644
index 0000000..40ceeb0
--- /dev/null
+++ b/src/components/landing/sections/Resume.tsx
@@ -0,0 +1,398 @@
1/*
2 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
3 *
4 * SPDX-License-Identifier: MIT AND CC-BY-4.0
5 */
6
7import clsx from 'clsx';
8
9import Section from '@site/src/components/landing/Section';
10import Subtitle from '@site/src/components/landing/Subtitle';
11
12import styles from './Resume.module.css';
13
14export default function Resume() {
15 return (
16 <Section title="Resume">
17 <div className="container">
18 <div className="row">
19 <div className="col col-6">
20 <Subtitle icon="🎓">Education</Subtitle>
21 <ul className={styles.cv}>
22 <li className={styles.cv__item}>
23 <h4 className={styles.cv__title}>Doctor of Philosophy (PhD)</h4>
24 <p className={styles.cv__times}>
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>
395 </div>
396 </Section>
397 );
398}
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 12:13:45 +0000