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
soaibuzzaman at uni-weimar dot de
An attention-based English to Bangla machine translation model using sequence to sequence learning with neural networks
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Content sharing application with distributed block list services using FAST API (Python) and React.js.
JavaScript