Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Xuanrui Qi
xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.
Graduate School of Mathematics, Nagoya University Nagoya, Japan
Poom Yimyuean
lebrancconvas
Area of Interest: Web Dev, Game Dev, Data Science, Computer Graphics, Web Automation, Functional Programming, Multimedia and Language Learning.
Work from Any Workplace {"Thailand": ["Bangkok", "Surat Thani"]}
Kushik Kaushal Timilsina
Captainkk75
I am interested in using ideas like Sheaves and Cohomology on Categories, but generally ideas in Topology+ Algebra+Category Theory in computation and sciences.
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
PreviousNext