Skip to content
View oyendrila-dobe's full-sized avatar
🧶
Focusing
🧶
Focusing
11 followers · 32 following
  • Boston, USA

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Shark

Highlights

  • Pro

Block or report oyendrila-dobe

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
oyendrila-dobe/README.md
  • 👋 Hi, I’m @oyendrila-dobe, aka Oreo (yes, like the cookie!)
  • 👀 I’m interested in learning about different aspects of Formal Verification
  • 🌱 I’m currently learning how to modularize and optimize my existing python code for HyperProb.
  • 💞️ I’m looking to collaborate on learning opportunities involving formal methods to reason about security, privacy, and correctness guarantees in systems.
  • 📫 You can reach me via email at [email protected] or check my personal website for my current work and interests.

Pinned Loading

  1. Twitter_ios Twitter_ios Public

    A simple app to utilize basic features in twitter API

    Swift

  2. TART-MSU/HyperProb TART-MSU/HyperProb Public

    Tool to verify Probabilistic Hyperproperties on Markov Decision Processes

    Python 3 1

  3. HyperWithRewards HyperWithRewards Public

    Verifying hyperprobabilistic properties along with rewards

    Python

  4. oyendrila-dobe.github.io oyendrila-dobe.github.io Public

    Personal website

    HTML

  5. stormpy stormpy Public

    Forked from moves-rwth/stormpy

    Python Bindings for the Probabilistic Model Checker Storm

    C++