/* * SPDX-FileCopyrightText: 2023-2024 Kristóf Marussy * * SPDX-License-Identifier: MIT AND CC-BY-4.0 * * Code in this file is MIT licensed, while content is CC-BY-4.0 licensed. */ import Link from '@docusaurus/Link'; import { Lock } from '@phosphor-icons/react'; import clsx from 'clsx'; import Section from '@site/src/components/landing/Section'; import Subtitle from '@site/src/components/landing/Subtitle'; import styles from './Resume.module.css'; function ResumeSection({ children }: { children?: React.ReactNode }) { return
2018–2023
Budapest University of Technology and Economics
Thesis:{' '} Abstraction Techniques for the Analysis and Synthesis of Critical Cyber-Physical System Architectures
Some portions may be exclusively licensed to their original publishers
2016–2018
Budapest University of Technology and Economics
2012–2016
Budapest University of Technology and Economics
2023–
2020–2023
Department of Artificial Intelligence and Systems Engineering, Budapest University of Technology and Economics, Hungary
2018–2019
MTA-BME Lendület Cyber-Physical Systems Research Group
2014-2015
BioIntelligence Research Group, {' '} Institute of Genomic Medicine and Rare Disorders, {' '} Semmelweis University, {' '} Budapest, Hungary
2016 (MSc){' '} 2018 (PhD student){' '} 2021 (PhD candidate){' '} 2023 (postdoc){' '}
Awarded by the{' '} National Research, Development and Innovation Office (NRDI) {' '} of Hungary to around 700 recipients per year
Awarded by the{' '} László Schell Foundation {' '} to 1 member of the{' '} Department of Artificial Intelligence and Systems Engineering{' '} per year for exceptional work in innovation
May–June 2019{' '} October 2020
Department of Electrical and Computer Engineering, {' '} McGill Univeristy,{' '} Montreal, Canada
March 2019{' '}
Department of Computer Science and Engineering, and Mathematics, {' '} University of L'Aquila, {' '} Italy
2024–
2014–2023
7 × BSc{' '} 4 × MSc{' '} 1 × MSc{' '} ÚNKP {' '} student research
5 × 🥇{' '} 4 × 🥈{' '} 1 × 🥉{' '} 1 × merit at university level
1 × 🥈{' '} 1 × merit at national level
LLM4MDE ’24
OOPSLA ’23 {' '} ECOOP ’23 {' '} and{' '} ’22
OOPSLA ’23 {' '} and{' '} ’21 {' '} ECOOP ’23 {' '} and{' '} ’22 {' '} FASE ’24 {' '} and{' '} ’23 {' '} ESOP ’22 {' '}
EMSE SoSyM SCP JLAMP