I am a math graduate from IISER Thiruvananthapuram. As part of my Master's thesis, I worked on Fourier analysis under the supervision of Dr. P Devaraj. Currently, I am reading Unitary Invariants for Representations of Operator Algebras with Dr. Soumyashant Nayak. I am also learning to use Lean theorem prover by working through Mathematics in Lean. Besides math, I am interested in computer programming, Linux, photography and movies. You can find some of my projects in my GitHub repositories.
-
Notifications
You must be signed in to change notification settings - Fork 0
joelsleeba/joelsleeba
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published