• Sign in
  • Sign up
conf.researchr.org / Soaibuzzaman
  • ASE 2026 profile
  • ECOOP 2026 profile
  • FM 2026 profile
  • MODELS 2026 profile
  • SPLASH/ISSTA 2026 profile
  • STAF 2025 profile
 Soaibuzzaman

Registered user since Mon 13 May 2024

Name: Soaibuzzaman
Country:Germany
Affiliation:Bauhaus-University Weimar
Personal website: https://soaib.me/
GitHub: https://github.com/soaibsafi
Research interests:Formal Methods, Reactive Systhesis, Truested AI

Contributions

2026

ASE

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

MODELS

  • Author of On Redundancy in Alloy Models within the Research Papers-track

ISSTA

  • Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

FM

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

SLE

  • Committee Member in Artefact Evaluation Committee within the SLE 2025-track
Share
xTue 6 Oct 15:45
using conf.researchr.org (v1.76.1)
Support page
Sign Up