Chemical engineering student at EPFL
Hi, I'm Itiafa Ayeni, a sophomore from Nigeria at Georgetown University's School of Foreign Service in Qatar. I major in International Politics with minors in Africana Studies and a certificate in Energy Studies. I am also pursuing the French proficiency academic pathway.
My academic interests are deeply shaped by my experience growing up in Nigeria and center on Africa’s future, the place of identity, and the advancement of women and girls globally.
This summer, I will be researching how 'Y2K' Nollywood (the formative period of Nigeria’s film industry spanning the 1990s and early 2000s) influenced the women who contributed to and consumed it, across a representative social circle that includes actresses and women in the diaspora.
Hi~ My name is Galiya, I'm from Kazakhstan, currently based in Hong Kong. Love learning about different cultures and languages, so if you want to connect and discuss literally anything, hit me up on DMs :D
Briefly about my interests and achievements:
I am interested in AI ethics and learning science and have built a track record at the intersection of education and AI.
My experience spans teaching, admissions consulting, and content creation in international environments across Kazakhstan, South Korea, Italy, and Hong Kong. I am particularly interested in improving access to global education and how AI is reshaping the traditional forms of education.
Currently, I am developing research through the Laidlaw Scholars Programme, focusing on university-level assessment methods in the context of GenAI.
Mathematics researcher at EPFL, Laidlaw Scholar, and systems optimizer. I specialize in formalizing mathematics in Lean 4 (currently researching with Fields Medalist Prof. Maryna Viazovska) and building high-performance software.
I don't just study systems; I look for their underlying logic to optimize them. My recent work ranges from deploying production software that uses Max-Plus algebra to reduce event logistics complexity to , to building decentralized parametric insurance on the blockchain and coding real-time cognitive analysis AI pipelines.
With a background in local politics (former Town Councilor) and a certification in behavioral psychology (PCM), I am fascinated by the intersection of human behavior and pure logic. When I'm not writing proofs or coding, you can find me rowing or trying to teach Lean 4 to my grandmother.
