Skip to content
View DeeproChoudhury's full-sized avatar
10 followers · 7 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report DeeproChoudhury

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DeeproChoudhury/README.md

Hi there 👋

I'm Deepro, a current masters scholar at Cambridge University.

I'm interested in the intersection between mathematics and computer science. This includes

  • Formal theorem proving and its automation.
  • Machine learning and its mathematical foundations.
  • Interpretability of neural networks.
  • Algebra and Category Theory.

Pinned Loading

  1. android-fhir android-fhir Public

    Forked from google/android-fhir

    The Android FHIR SDK is a Kotlin library for building offline-capable, mobile-first healthcare applications using FHIR resources on Android.

    Kotlin

  2. iProve-proof-assistant iProve-proof-assistant Public

    TypeScript

  3. HaskellTicTacToe HaskellTicTacToe Public

    An implementation of TicTacToe in Haskell using monads

    Haskell

  4. London-Underground-Route-Planner London-Underground-Route-Planner Public

    London Underground journey planner

    Kotlin

  5. SearchEngine SearchEngine Public

    An implementation of a search engine in Kotlin

    HTML

  6. opensrp/labs opensrp/labs Public

    An OpenSRP repository for R&D projects that contribute towards improving the platform

    Java 2 4