Research assistant at Metascience Lab,
ELTE Eotvos Lorand University.
Email
martonaronvarga at gmail dot com
GitHub
@martonaronvarga
Education
2021 – 2024 Psychology BA, ELTE Eotvos Lorand University, Institute of Psychology
2024 – Mathematics BSc, ELTE Eotvos Lorand University, Institute of Mathematics
Scientific Interests
Reproducibility, software
Set theory, foundations of mathematics, type theory
Cognitive control
Philosophy of science
Model theory, Fraissé theory
Non-academic interests
Birds, nix, linux, e-mail, git, ATS, Standard ML, Idris 2, J, seL4, tea, and so on…