Hi, its Paul, an NLP Engineer with a passion for software engineering and formal verification. I graduated from the University of Dhaka with top honors and have worked with Samsung R&D and IIT, focusing on cutting-edge NLP research and software testing. I'm skilled in Python, JavaScript, Solidity, and more, with hands-on experience in frameworks like Angular and NodeJS. I've led research projects, published papers, and developed innovative solutions in various domains. Check out my GitHub to see my work, and let's connect!
Here is a https://cvc5.github.io/tutorials/beginners/index.html SMT tutorial from stanford in python! I am actively looking for research opportunities in Formal Method.Latest News
-
🤝 Meeting with CTO and CEO of SoftBD Ltd.
Industry collaboration for future projects.
September 10, 2024 -
📅 Joined Formal Method Europe (FME) Business Meeting 2024
Exciting discussions on formal verification advancements.
August 22, 2024 -
💰 Received Seed Funding
For the project "DU Bus Tracking System".
July 15, 2024 -
🏆 Samsung Innovator Award
My team won "Best Innovator Team" award for Q1, 2024.
June 30, 2024 -
🌐 Joined Formal Method Europe (FME)
Proud to join the community for advancing formal methods.
June 15, 2024
Research Path & Development Skills
