This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Jad Koleilat

@jadkoleilat@mathstodon.xyz

Joined: 01/27/2023

44

Followers

72

Following
ProfileTrailsStatistics

About Jad Koleilat

PhD student at LIPN lab in logic. I’m interested in: LL, DiLL, denotational semantics, category theory, type theory, functional analysis, differential geometry, cooking, homotopy theory, board games and choice axioms.

Currently working on understanding differentiation from a logical perspective.

I post in French and English

Lists

jadkoleilat has no public lists

Timeline

jadkoleilat has no activity yet