Skip to content
View soaibsafi's full-sized avatar
:octocat:
Ta-Dah
:octocat:
Ta-Dah
20 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@se-buw @fm4se

Block or report soaibsafi

Report abuse

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

Report abuse
soaibsafi/README.md

👋 Hi there, I'm Batman Soaib

soaibuzzaman at uni-weimar dot de

  • 🔭 I’m currently working on my PhD.
  • 🌱 I’m currently learning Reactive Synthesis, Formal Methods, Model-Driven Software Development.
  • ✨ I am also interested in Explainable and Trustworthy AI

Total time coded since Feb 25 2023

🔖 Find me on-

Pinned Loading

  1. fm4se/fm-playground fm4se/fm-playground Public

    A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...

    TypeScript 19 7

  2. smt-z3-vscode smt-z3-vscode Public

    VSCode extension for SMT2 language with Z3 solver

    TypeScript 3

  3. se-buw/MLDiff se-buw/MLDiff Public

    Comparing learned classifiers usning SMT Solver

    Python

  4. se-buw/alloy-metrics se-buw/alloy-metrics Public

    Artifacts for the paper "On Writing Alloy Models: Metrics and a new Dataset"

    Python

  5. se-buw/smt-metrics se-buw/smt-metrics Public

    Artifacts for the paper "On Writing SMT-LIB Scripts: Metrics and a new Dataset"

    Python

  6. Competitive-programming Competitive-programming Public

    🔥 Progress on the problem-solving.

    C++ 1