Kaposi Ambrus

Munkahely:	Faculty of Informatics, ELTE
Email:	akaposi@ik.elte.hu

A félévre meghirdetett témák

• Universal algebra via theories of signatures (Kaposi Ambrus)

Hallgató

• Viczián András: Universal algebra via theories of signatures (2026/27 I. félév Egyéni Kutatómunka 1)

Korábbi hallgatók

• Alexy Marcell: Type theory (2021/22 II. félév Egyéni Kutatómunka 2)
• Alexy Marcell: Type theory (2021/22 I. félév Egyéni Kutatómunka 1)