Skip to content
View Shubha-ml's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
2 followers · 0 following

Block or report Shubha-ml

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Shubha-ml/README.md

Hi, I'm Shubha Chakraborty

🎓 PhD Scholar | Computer Science | University of Burdwan
🔬 Formal Methods • Quantum Software Engineering • Quantum Machine Learning

🚀 About Me

I work on improving the reliability of complex systems using formal specification and verification. My research focuses on formal methods, quantum software engineering, quantum machine learning, and safety-critical system design.

🧠 Research Areas

🔧 Current Work

  • Formal verification of autonomous and distributed systems
  • UML / NFA / DFA → TLA+ transformation pipelines
  • TLA+ → Python code generation with runtime verification
  • Formal verification for quantum software and quantum machine learning systems

📌 Featured Projects

🧩 Formal Verification Framework

A unified framework for specifying and verifying safety-critical systems using TLA+.
Focus areas include traffic systems, railway signaling, autonomous vehicles, and quantum systems.

🌐 UML → TLA+ Web Tool

A web-based tool that converts UML diagrams into TLA+ specifications for early-stage verification.

⚙️ TLA+ → Python Code Generator

A translation pipeline that converts formal specifications into executable Python code with runtime checks.

🔁 Automata → Formal Models

Conversion of DFA/NFA models into TLA+ specifications for formal analysis and validation.

🛠️ Tools & Technologies

📄 Publications & Academic Profiles

🤝 Collaboration

I am open to academic collaborations and joint publications in:

  • Formal Methods and Verification
  • Quantum Software Engineering
  • Quantum Machine Learning
  • Verification of AI/ML Systems
  • Safety-Critical System Design

📫 Contact

🌟 Research Vision

To bridge formal reasoning with modern computational systems, enabling reliable and verifiable software across classical and quantum domains.

Popular repositories Loading

  1. Crop-Prediction-Based-on-Region-Wise-Weather-Data Crop-Prediction-Based-on-Region-Wise-Weather-Data Public

    Crop Prediction Based on Region Wise Weather Data like Temperature, Humidity, Rainfall, and Sun hours Using Machine Learning

    Jupyter Notebook 3 1

  2. Own_Voice_Assistant Own_Voice_Assistant Public

    Create my It is a Voice Assistant like as Alexa, Siri, Google assistant, etc. But it performs some specific tasks (own voice assistant)

    Python 1

  3. House-Price-Prediction House-Price-Prediction Public

    House Price Prediction using Ridge Regression method

    Jupyter Notebook 1

  4. SpaceX-Project SpaceX-Project Public

    Make a prediction to determine the price of each launch of a rocket, if the rocket can recover the first stage like SpaceX's Falcon 9.

    Jupyter Notebook 1

  5. Web-based-crop-recommendation-system-application-using-Machine-Learning Web-based-crop-recommendation-system-application-using-Machine-Learning Public

    Web based crop recommendation system application using Machine Learning

    CSS 1 1

  6. Algorithm Algorithm Public

    Implementing Graph Algorithm

    C