/* * SPDX-FileCopyrightText: 2023-2024 Kristóf Marussy * * SPDX-License-Identifier: MIT */ import clsx from 'clsx'; import { FediverseIcon, GithubIcon, GoogleScholarIcon, LinkedInIcon, OrcidIcon, } from '@site/src/components/icons'; import styles from './Hero.module.css'; export default function Hero({ avatar }: { avatar: string }) { return (
My photo

Hi! 👋 I’m{' '} Kristóf Marussy

I’m a research fellow working at the{' '} 🔬 Critical Systems Research Group ( ftsrg) {' '} at the{' '} 🏫 Department of Measurement and Information Systems (MIT) {' '} at{' '} 🏛️ Budapest University of Technology and Economics (BME) . My reasearch interests include graph generation, logic solvers, formal verification, and applying these techniques for ensuring the safety and correcness of critical systems.

I also like free (as in liberty) and open source software. My pronouns are he/him.

Read my CV {' '} Contact me
); }