Skip to content
View gauravdev148's full-sized avatar

Block or report gauravdev148

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
gauravdev148/README.md

Hi there, I'm Gaurav Dev! 👋

Aspiring Researcher in Formal Methods & Safe AI I combine Computer Science with Industrial Safety Standards (NEBOSH/OSHA) to build trustworthy software for high-risk environments.

🔭 Current Research Focus:

  • Formal Verification: How to mathematically prove that a "Permit to Work" system cannot reach an unsafe state.
  • Applied NLP: Structuring ambiguous "Near-Miss" (Hiyari-Hatto) reports to predict construction accidents.

🌱 Technical Background:

  • Languages: Python (Flask, Pandas), SQL, JavaScript.
  • Domain: Industrial Safety (Advanced Diploma - Grade A).
  • Goal: Joining a research lab to bridge the gap between ISO Safety Protocols and Software Reliability.

📫 Contact: gauravdev148@gmail.com

Pinned Loading

  1. Digital_Work_Permit_System Digital_Work_Permit_System Public

    A State-Machine based Work Permit System enforcing strict safety logic gates (ISO 45001). Designed to prevent unsafe state transitions in high-risk industrial workflows. 🏗️ 🛡️

    HTML

  2. AI_Hazard_Risk_Analyzer AI_Hazard_Risk_Analyzer Public

    NLP pipeline for classifying unstructured "Near-Miss" (Hiyari-Hatto) reports. Uses TF-IDF & statistical classification to structure ambiguous safety data for risk analysis. ⚠️ 📊

    HTML