- Hi, Iโm @adamcatto
- I work as a data scientist in the Neuroscience Department at the Icahn School of Medicine at Mount Sinai, in the labs of Li Shen and Paul Kenny
- I mainly work on AI for {medical image analysis, neural signal processing, molecular biology, computational ethology, and automation of behavioral neuroscience experiments}
- In my spare time, I like to systematically study unfamiliar areas of science & engineering
- I post some of the results of my independent studies at https://github.com/adamcatto/learning
- You can reach me via email. My gmail username is
agocatto
adamcatto / hott Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hott/coq-hott
Homotopy type theory
Home Page: http://homotopytypetheory.org/
License: Other