path: root/src/pages/index.tsx

/*
 * SPDX-FileCopyrightText: 2023 Kristóf Marussy
 *
 * SPDX-License-Identifier: MIT
 */

import clsx from 'clsx';

import Layout from '@theme/Layout';

import {
  FediverseIcon,
  GithubIcon,
  GoogleScholarIcon,
  LinkedInIcon,
  OrcidIcon,
} from '@site/src/components/icons';

import avatar from './avatar.jpg';
import styles from './index.module.css';

export default function Home() {
  return (
    <Layout>
      <header className={clsx('hero', 'hero--dark', styles.hero)}>
        <div className="container">
          <div className="row">
            <div
              className={clsx('col', 'col--3', styles.hero__col, styles.avatar)}
            >
              <img
                src={avatar}
                alt="My photo"
                className={styles.avatar__image}
              />
            </div>
            <div className={clsx('col', 'col--9', styles.hero__col)}>
              <h1 className={clsx('hero__title', styles.introduction)}>
                Hi! 👋 I&rsquo;m{' '}
                <span className={styles.introduction__name}>
                  Kristóf Marussy
                </span>
              </h1>
              <p>
                I&rsquo;m a research fellow working at the{' '}
                <a href="https://ftsrg.mit.bme.hu">
                  🔬&nbsp;Critical Systems Research Group&nbsp;(
                  <abbr>ftsrg</abbr>)
                </a>{' '}
                at the{' '}
                <a href="https://mit.bme.hu">
                  🏫&nbsp;Department of Measurement and Information
                  Systems&nbsp;(MIT)
                </a>{' '}
                at{' '}
                <a href="https://bme.hu">
                  🏛️&nbsp;Budapest University of Technology and
                  Economics&nbsp;(BME)
                </a>
                . My reasearch interests include graph generation, logic
                solvers, formal verification, and applying these techniques for
                ensuring the safety and correcness of critical systems.
              </p>
              <p>
                I also like free (as in liberty) and open source software. My
                pronouns are he/him.
              </p>
              <div className={styles.cta}>
                <a
                  href="/cv.pdf"
                  className={clsx(
                    'button',
                    'button--lg',
                    'button--primary',
                    styles.cta__button,
                  )}
                >
                  Read my CV
                </a>
                <a
                  href="#contact"
                  className={clsx(
                    'button',
                    'button--lg',
                    'button--secondary',
                    styles.cta__button,
                  )}
                >
                  Contact me
                </a>
                <ul className={styles.contacts}>
                  <li className={styles.contacts__item}>
                    <a
                      href="https://orcid.org/0000-0002-9135-8256"
                      className={styles.contacts__icon}
                    >
                      <OrcidIcon />
                    </a>
                  </li>
                  <li className={styles.contacts__item}>
                    <a
                      href="https://scholar.google.com/citations?user=E9CKNYoAAAAJ"
                      className={styles.contacts__icon}
                    >
                      <GoogleScholarIcon />
                    </a>
                  </li>
                  <li className={styles.contacts__item}>
                    <a
                      href="https://github.com/kris7t/"
                      className={styles.contacts__icon}
                    >
                      <GithubIcon />
                    </a>
                  </li>
                  <li className={styles.contacts__item}>
                    <a
                      href="https://pleroma.marussy.com/users/kristof"
                      className={styles.contacts__icon}
                    >
                      <FediverseIcon />
                    </a>
                  </li>
                  <li className={styles.contacts__item}>
                    <a
                      href="https://www.linkedin.com/in/k-marussy"
                      className={styles.contacts__icon}
                    >
                      <LinkedInIcon />
                    </a>
                  </li>
                </ul>
              </div>
            </div>
          </div>
        </div>
      </header>
      <section className={styles.section}>
        <h2 className={styles.section__title}>Resume</h2>
        <div className="container">
          <div className="row">
            <div className="col col-6">
              <h3 className={styles.section__subtitle}>🎓&nbsp;Education</h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Doctor of Philosophy (PhD)
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2018&ndash;2023</span>
                  </p>
                  <p>
                    <i>Budapest Unversity of Technology and Economics</i>
                  </p>
                  <p>
                    Thesis:{' '}
                    <a href="/thesis.pdf">
                      <b>
                        Abstraction Techniques for the Analysis and Synthesis of
                        Critical Cyber-Physical System Architectures
                      </b>
                    </a>
                  </p>
                  <div className={styles['thesis-links']}>
                    <a
                      href="/thesis.pdf"
                      className={clsx(
                        'button',
                        'button--primary',
                        styles['thesis-links__link'],
                      )}
                    >
                      Read now
                    </a>
                    <a
                      href="/thesis-booklet-en.pdf"
                      className={clsx(
                        'button',
                        'button--secondary',
                        styles['thesis-links__link'],
                      )}
                    >
                      Extended abstract
                    </a>
                    <a
                      href="http://hdl.handle.net/10890/41832"
                      className={styles['thesis-links__link']}
                    >
                      Also available via HDL.NET
                    </a>
                  </div>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>Master of Science (MSc)</h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2016&ndash;2018</span>
                  </p>
                  <p>
                    <i>Budapest Unversity of Technology and Economics</i>
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Bachleor of Science (BSc)
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2012&ndash;2016</span>
                  </p>
                  <p>
                    <i>Budapest Unversity of Technology and Economics</i>
                  </p>
                </li>
              </ul>
              <h3 className={styles.section__subtitle}>
                🏅&nbsp;Scholarships and awards
              </h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    <a href="https://www.unkp.gov.hu/">
                      New National Excellence Programme (
                      <span lang="hu">ÚNKP</span>)
                    </a>
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2016 (MSc)</span>{' '}
                    <span className={styles.cv__time}>2018 (PhD student)</span>{' '}
                    <span className={styles.cv__time}>
                      2021 (PhD candidate)
                    </span>{' '}
                    <span className={styles.cv__time}>2023 (postdoc)</span>{' '}
                  </p>
                  <p className={styles.cv__awarddesc}>
                    Awarded by the{' '}
                    <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">
                      National Research, Development and Innovation Office
                      (NRDI)
                    </a>{' '}
                    of Hungary to around 700 recipents per year
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    <a href="https://2021.splashcon.org/track/splash-2021-Artifacts#Chairs-Report">
                      OOPSLA 2021 Distinguished Artifact Reviewer
                    </a>
                  </h4>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    <a href="https://www.mit.bme.hu/node/10575">
                      2020 László Schnell Award
                    </a>
                  </h4>
                  <p className={styles.cv__awarddesc}>
                    Awarded by the{' '}
                    <a href="https://www.mit.bme.hu/general/alapitvany">
                      László Schell Foundation
                    </a>{' '}
                    to 1 member of the{' '}
                    <i>Department of Measurement and Information Systems</i> per
                    year for exceptional research work
                  </p>
                </li>
              </ul>
              <h3 className={styles.section__subtitle}>
                👨‍🏫&nbsp;Teaching and mentoring
              </h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>Teaching assistant</h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2014&ndash;</span>
                  </p>
                  <ul className={styles.cv__activities}>
                    <li className={styles.cv__activity}>
                      Courses at the{' '}
                      <a href="https://mit.bme.hu">
                        Deparment of Measurement and Information Systems
                      </a>{' '}
                      and the{' '}
                      <a href="https://cs.bme.hu">
                        Deparment of Computer Science and Information Theory
                      </a>
                    </li>
                    <li className={styles.cv__activity}>
                      Including practice and lab sessions in the{' '}
                      <a href="https://imsc.vik.bme.hu/">IMsc programme</a> of
                      BME for talented BSc students
                    </li>
                  </ul>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Supervised BSc and MSc{' '}
                    <a href="https://diplomaterv.vik.bme.hu/hu/Supervisors/Marussy-Kristof">
                      thesis works
                    </a>
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>7 &times; BSc</span>{' '}
                    <span className={styles.cv__time}>4 &times; MSc</span>{' '}
                    <span className={styles.cv__time}>
                      1 &times; MSc{' '}
                      <a href="https://www.unkp.gov.hu/" lang="hu">
                        ÚNKP research
                      </a>
                    </span>
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Supervised{' '}
                    <a href="https://tdk.bme.hu/Browse/Users/Marussy-Kristof">
                      Scientific Students' Association
                    </a>{' '}
                    research
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>4 &times; 🥇</span>{' '}
                    <span className={styles.cv__time}>1 &times; 🥈</span>{' '}
                    <span className={styles.cv__time}>1 &times; 🥉</span>{' '}
                    <span className={styles.cv__time}>1 &times; merit</span>
                    at university level
                  </p>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>1 &times; 🥈</span>{' '}
                    <span className={styles.cv__time}>1 &times; merit</span>
                    at national level
                  </p>
                </li>
              </ul>
            </div>
            <div className="col col-6">
              <h3 className={styles.section__subtitle}>
                👨‍💼&nbsp;Professional experience
              </h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Assistant research fellow
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2020&ndash;2023</span>
                  </p>
                  <p>
                    <i>
                      Department of Measurement and Information Systems,
                      Budapest Unversity of Technology and Economics, Hungary
                    </i>
                  </p>
                  <ul className={styles.cv__activities}>
                    <li className={styles.cv__activity}>
                      Performing research and developing tools to address
                      challanges in the development of critical systems
                      motivated by case studies and collaborations with industry
                      partners
                    </li>
                    <li className={styles.cv__activity}>
                      Created reliability models for{' '}
                      <i>distributed railway interlocking systems</i> in a{' '}
                      <a href="https://projektek.bme.hu/index.php?site=3_0_0&i=28">
                        Hungarian national project
                      </a>{' '}
                      with <a href="https://www.prolan.hu/">Prolan Zrt.</a>
                    </li>
                    <li className={styles.cv__activity}>
                      Participated in the formal verification of a{' '}
                      <i>critical automotive subsystem</i> in a{' '}
                      <a href="https://projektek.bme.hu/index.php?site=3_1_0&i=18">
                        Hungarian national project
                      </a>{' '}
                      with{' '}
                      <a href="https://www.thyssenkrupp.hu/en">
                        thyssenkrupp Ltd.
                      </a>
                    </li>
                  </ul>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Assistant research fellow
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2018&ndash;2019</span>
                  </p>
                  <p>
                    <i>
                      <a href="https://web.archive.org/web/20200919160859/https://lendulet.inf.mit.bme.hu/">
                        MTA-BME <span lang="hu">Lendület</span> Cyber-Physical
                        Systems Research Group
                      </a>
                    </i>
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>Research trainee</h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>2014-2015</span>
                  </p>
                  <p>
                    <i>
                      <a href="https://web.archive.org/web/20150925191035/http://biointelligence.hu/">
                        BioIntelligence Research Group,
                      </a>{' '}
                      <a href="https://semmelweis.hu/genomikai-medicina/en/">
                        Institute of Genomic Medicine and Rare Disorders,
                      </a>{' '}
                      <a href="https://semmelweis.hu/en/">
                        Semmelweis University,
                      </a>{' '}
                      Budapest, Hungary
                    </i>
                  </p>
                </li>
              </ul>
              <h3 className={styles.section__subtitle}>
                🏕️&nbsp;Research visits
              </h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Graduate research trainee
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>May&ndash;June 2019</span>{' '}
                    <span className={styles.cv__time}>October 2020</span>
                  </p>
                  <p>
                    <i>
                      <a href="https://web.archive.org/web/20201124184148/https://www.mcgill.ca/ece/daniel-varro">
                        Department of Electrical and Computer Engineering,
                      </a>{' '}
                      <a href="https://www.mcgill.ca/">McGill Univeristy,</a>{' '}
                    </i>
                    Montreal, Canada
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>Visting researcher</h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>March 2019</span>{' '}
                  </p>
                  <p>
                    <i>
                      <a href="https://web.archive.org/web/20190430204608/https://people.disim.univaq.it/cortelle/">
                        Department of Computer Science and Engineering, and
                        Mathematics,
                      </a>{' '}
                      <a href="https://www.univaq.it/en/index.php?&lang_s=en">
                        University of L'Aquila,
                      </a>{' '}
                    </i>
                    Italy
                  </p>
                </li>
              </ul>
              <h3 className={styles.section__subtitle}>
                📔&nbsp;Academic service
              </h3>
              <ul className={styles.cv}>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Extended Review Committe member
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>
                      <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee">
                        OOPSLA &rsquo;23
                      </a>
                    </span>{' '}
                    <span className={styles.cv__time}>
                      <a href="https://2023.ecoop.org/committee/ecoop-2023-research-papers-extended-review-committee">
                        ECOOP &rsquo;23
                      </a>{' '}
                      and{' '}
                      <a href="https://2022.ecoop.org/committee/ecoop-2022-papers-extended-review-committee-">
                        &rsquo;22
                      </a>
                    </span>
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>
                    Artifact Evaluation Committe member
                  </h4>
                  <p className={styles.cv__times}>
                    <span className={styles.cv__time}>
                      <a href="https://2023.splashcon.org/committee/splash-2023-oopsla-external-review---artifact-evaluation-committee">
                        OOPSLA &rsquo;23
                      </a>{' '}
                      and{' '}
                      <a href="https://2021.splashcon.org/track/splash-2021-Artifacts">
                        &rsquo;21
                      </a>
                    </span>{' '}
                    <span className={styles.cv__time}>
                      <a href="https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee">
                        ECOOP &rsquo;23
                      </a>{' '}
                      and{' '}
                      <a href="https://2022.ecoop.org/committee/ecoop-2022-artifacts-artifact-evaluation-committee">
                        &rsquo;22
                      </a>
                    </span>{' '}
                    <span className={styles.cv__time}>
                      <a href="https://web.archive.org/web/20230209015023/https://fase-conf.github.io/">
                        FASE &rsquo;23
                      </a>
                    </span>{' '}
                    <span className={styles.cv__time}>
                      <a href="https://www.etaps.org/user-profile/archive/53-etaps-2022/491-esop-2022-artifact-evaluation.html">
                        ESOP &rsquo;22
                      </a>
                    </span>{' '}
                  </p>
                </li>
                <li className={styles.cv__item}>
                  <h4 className={styles.cv__title}>Reviewing for journals</h4>
                  <ul className={styles.cv__activities}>
                    <li
                      className={clsx(
                        styles.cv__activity,
                        styles['cv__activity--tight'],
                      )}
                    >
                      Science of Computer Programming
                    </li>
                    <li
                      className={clsx(
                        styles.cv__activity,
                        styles['cv__activity--tight'],
                      )}
                    >
                      Journal of Logical and Algebraic Methods in Programming
                    </li>
                  </ul>
                </li>
              </ul>
            </div>
          </div>
        </div>
      </section>
    </Layout>
  );
}