Ambrus Kaposi

Although he was interested in programming languages and solutions since childhood, he first studied to be a doctor at Semmelweis University (SE), where he received a Republic Scholarship in 2008. With a general medical degree in hand, he completed his undergraduate degree in computer science at ELTE.

Since 2016, he has been an assistant professor at the Department of Programming Languages and Compilers at the Faculty of Informatics (IK) of ELTE. His teaching topics include: type systems of programming languages, type theory, formal semantics, logic, functional and imperative programming, bioinformatics, compilers.

He received his first PhD in medical statistics from Semmelweis University in 2013, and his second in type theory from the University of Nottingham in 2017. He worked as a postdoctoral fellow in the MTA-SE Lendület Nephrogenetics Research Group. In 2019, he was awarded the MTA Bolyai Scholarship.

His main research area is type theory, a programming language that can simultaneously describe programs and mathematical proofs. He has also published in the fields of functional programming, medical statistics, and immunology.

He is the organizer of the Budapest Type Theory Research Seminar held at ELTE, where university researchers, students and industry professionals discuss various aspects of type theory every week. He is a member of the steering committee of the annual European Type Theory Conference (TYPES) between 2017-2019, and was the main organizer of the conference in 2017. He is a member of the steering committee of the EUTypes COST Action, which brings together European type theory researchers.

Awards: Semmelweis Innovation Award (Young Life Science Researchers Forum, Pécs, 2007); NovaTech.Com 3.0 Innovation Technology Business Plan Competition 2nd prize (2008); Scopus Young Researchers Award, medical sciences category (Hungarian Rectors' Conference and Elsevier, 2008); FSCD Conference, Best paper award for junior researcher (2018); János Kemény Award (NJSZT, 2019).