Ravi Shekhar Tiwari

PhD Scholar · CSE · IIIT-Delhi

Ravi Shekhar Tiwari

I research Neurosymbolic AI, which means building systems that learn like neural networks and reason like logic. I also engineer AI that ships, from edge devices to production pipelines.

Areas of work: neurosymbolic AI, LLM verification, formal methods with SMT solvers such as Z3, LLM inference on NVIDIA Triton, explainable AI, ontologies and knowledge graphs, edge AI systems, and poetry.

View my work Get in touch
Portrait of Ravi Shekhar Tiwari
Scroll
01 / About

A researcher who builds.

I am a PhD scholar in Computer Science at the Indraprastha Institute of Information Technology, Delhi, working on Neurosymbolic AI: combining the pattern-finding power of deep learning with the rigour of symbolic reasoning. My work covers formal methods (SMT solving with Z3 and model checking), ontologies and the verification of large language models, along with efficient LLM inference on NVIDIA Triton.

Before the PhD I spent several years building production AI. At Chadura Tech I built AI pipelines, chatbots and recommendation systems. At Tata Consultancy Services I worked on DevSecOps and intelligent automation. As a Junior Research Fellow at IIT Patna I built an AI proof of concept for a coal power plant, and at IIT Indore I developed acoustic early-warning models that run on edge devices. I hold an M.Tech in Data Science & AI from Mahindra University and a B.Tech in Information Technology from SRM University, where I graduated with First Class with Distinction.

Alongside research I edit books for CRC Press (Taylor & Francis) and IOP Publishing, and I review for Springer's Scientific Reports and Discover Artificial Intelligence. I also write technical courses and articles. Away from the keyboard, I write poetry and paint.

Life is like a roller coaster. Sometimes we rise, sometimes we fall, but we have to keep our momentum to reach what we want. Stay focused, and choose your goals.

02 / Research

Teaching machines to learn and reason.

My research sits where deep learning meets logic. I focus on AI that can explain itself and can be checked.

Neurosymbolic AI

Hybrid systems that pair neural perception with symbolic knowledge and logic, so that AI is both capable and interpretable. This is the core of my PhD at IIIT-Delhi.

  • PhD research
  • Reasoning
  • Hybrid AI

LLM Verification & Model Checking

Using formal methods, SMT solvers such as Z3 and model checking to test whether large language models behave as intended, towards AI that people can trust.

  • Formal methods
  • SMT · Z3
  • LLMs
  • Trustworthy AI

Ontology & Knowledge Graphs

Structuring domain knowledge as ontologies and graphs, so models can ground their answers in facts that are explicit and can be inspected.

  • Ontology
  • Knowledge graphs
  • Semantics

Explainable AI

Making model decisions understandable to the people who rely on them. I edited the CRC Press volume Explainable AI (XAI) for Sustainable Development.

  • XAI
  • Interpretability
  • CRC Press

Acoustic & Edge AI

H-MTL and domain-adaptation models for an acoustic early-warning system, built at IIT Indore to run on edge devices in changing field conditions.

  • Edge AI
  • Audio
  • Domain adaptation

Applied AI for Industry

At IIT Patna I built an AI proof of concept that tunes control-room parameters at a coal power plant. At Launchpad.ai I built satellite-image segmentation microservices.

  • Energy
  • Computer vision
  • MLOps
03 / Experience

Where I've built and served.

Highlights from industry, research labs and the academic community.

  1. Jan 2023 – Mar 2023Fellowship

    Fellow

    Launchpad.ai

    • Developed a segmentation model for satellite imagery from the Planet Labs dataset.
    • Turned it into a microservice-based application that segments regions of interest from uploaded satellite images.
  2. Dec 2022 – Jun 2023Indore, Madhya Pradesh

    Research & Development Intern

    Indian Institute of Technology Indore

    • Developed an H-MTL model for an acoustic early-warning system for counter-insurgency and counter-terrorism, deployable on edge devices.
    • Built domain-adaptation models so the system holds up across different environmental conditions.
  3. Dec 2022 – Jun 2023Patna, Bihar

    Junior Research Fellow

    Indian Institute of Technology Patna

    • Built a proof of concept applying artificial intelligence at PPGCL, a coal-fired power plant.
    • Contributed to an autonomous inspection vehicle for a 17 km long, 2 m wide cooling pipe.
    • Developed an AI application that calibrates control-room parameters to cut energy waste and raise plant productivity.
  4. Oct 2022 – PresentKarnataka

    Technical Content Writer

    Scaler Academy

    • Wrote 20+ course modules on TensorFlow/Keras, published on Scaler Topics.
    • Writing course modules on R programming.
  5. Feb 2022 – Nov 2023Karnataka

    AI Engineer

    Chadura Tech

    • Built reusable AI microservices and APIs, and automated AI pipelines and workflows with Airflow and schedulers.
    • Built training pipelines for NLP, computer vision, audio-signal and recommendation models.
    • Built a chatbot from scratch, plus AI-driven IVR and WhatsApp messaging with Twilio, to improve customer experience.
    • Developed a recommendation system that lifts sales based on user profiles, and a pipeline that flags unsuitable images and text.
    • Built analytics dashboards, including an AWS dashboard that lets a parent server monitor and act on child-server resource usage.
  6. May 2019 – May 2020Maharashtra

    AI Engineer & Penetration Tester

    Tata Consultancy Services

    • Implemented CI/CD pipelines with Jenkins, and automated workflows with UiPath RPA and Selenium.
    • Penetration-tested applications and websites with Burp Suite and Metasploit, and ran SAST (Fortify) and DAST (WebInspect) scans.
    • Integrated AI modules into internal software to improve the employee experience, and trained new hires in AI.
    • Introduced DevSecOps practices across a team spread over seven locations in India.
  1. Jan 2026 – PresentJournal

    Reviewer

    Springer: Scientific Reports & Discover Artificial Intelligence

    Reviewing deep learning and machine learning research in natural language processing, neurosymbolic AI and gait analysis.

  2. Mar 2023 – PresentSpain

    Reviewer

    ICECCME, IEEE Conference

    Evaluating the methodology of submitted papers in deep learning and machine learning.

  3. Jan 2023 – PresentBook

    Editor

    CRC Press, Taylor & Francis Group

    Editor of Explainable AI (XAI) for Sustainable Development: Trends and Applications.

  4. Jan 2023 – PresentBook

    Managing Editor

    IOP Publishing

    Managing editor of Privacy Preservation and Secured Data Storage in Cloud Computing: Challenges and Opportunities.

  5. Mar 2022 – PresentKarnataka

    Book Series Editor

    IIP Proceedings

    • Editor of the book series Futuristic Trends in Internet of Things.
    • Edited Futuristic Trends in Artificial Intelligence (IIP_V2_2022_BS_09_04).
  6. Apr 2022 – PresentJournal

    Journal Reviewer

    Frontiers in Physiology & Frontiers in Neurorobotics

    Reviewing submissions in gait analysis, AI and ML, parallel and distributed computing, XAI, cloud computing and data science.

  7. Aug 2022 – PresentJournal

    Journal Reviewer

    International Journal of Research and Scientific Innovation (IJRSI)

    Reviewing submissions in gait analysis, AI and ML, parallel and distributed computing, XAI, cloud computing and data science.

  8. Mar 2021 – PresentOnline magazine

    Author

    DDI: Data Driven Investor

    Articles on artificial intelligence.

  9. Nov 2020Conference

    Reviewer

    IEEE International Conference for Innovation and Technology (INOCON 2020)

    Reviewed submitted papers as part of the Institute of Scholars (InSc) reviewer panel.

  10. Oct 2020 – PresentOnline magazine

    Author

    Becoming Human: Artificial Intelligence Magazine

    Articles on artificial intelligence.

  11. Oct 2020India

    Advisory Committee Member

    IFERP Virtual Conference on Industry 4.0

    Member of the conference advisory committee.

  12. Apr 2020 – PresentKarnataka

    Journal Reviewer

    Institute of Scholars (InSc)

    Reviewer for the International Journal of Computer Science and Information Technology (Scopus indexed).

  1. May 2017 – Jun 2017India

    J2EE Developer Intern

    Adtel Software Pvt. Ltd.

    • Built a management application for a hotel.
    • Worked with Servlets, J2EE, J2ME, JDBC and SQL.
  2. Jan 2017India

    IoT Intern

    Pantech Solutions Pvt. Ltd.

    • Worked on edge computing and deploying models to edge devices.
    • Built Raspberry Pi projects with digital and analog sensors, including AI projects driven by sensor input.
    • Built Arduino (Nano, Mega and Uno) projects with digital and analog sensors.
04 / Education

The long road of learning.

In progress Jul 2025 – Present

PhD, Computer Science & Engineering

Indraprastha Institute of Information Technology (IIIT), Delhi

Research in Neurosymbolic AI, with coursework across artificial intelligence, model checking, ontologies, LLM verification and algorithms. Teaching Assistant for Machine Learning and Introduction to Intelligent Systems.

Aug 2023 – Jun 2025

M.Tech, Data Science & Artificial Intelligence

Mahindra University, Hyderabad, Telangana

Studied AI, evolutionary algorithms, IoT, blockchain and databases, and worked on projects, research papers and patents. Teaching Assistant for Natural Language Processing and Introduction to Programming.

85%
2015 – 2019

B.Tech, Information Technology

SRM University, Kattankulathur, Chennai

Covered networking, web technologies, IoT, databases, algorithms, cryptography, virtualization and operating systems, and worked on projects, research papers and patents.

81.76% · First Class with Distinction
2013 – 2015

Higher Secondary (Class XII, CBSE)

International School, Patna, Bihar

80.08%
2013

Secondary (Class X, ICSE)

International School, Patna, Bihar

78.01%
05 / Toolkit

Tools of the trade.

The tools I reach for, from microcontrollers to the cloud.

  • Python
  • PyTorch
  • TensorFlow
  • Keras
  • scikit-learn
  • Neurosymbolic AI
  • Formal methods
  • SMT · Z3
  • Ontologies
  • FastAPI
  • Django REST
  • Flask
  • Streamlit
  • Apache Airflow
  • Spark
  • Rasa
  • NVIDIA Triton
  • LLM inference
  • AWS
  • GCP
  • PostgreSQL
  • Power BI
  • Tableau
  • Solidity
  • IPFS
  • Hyperledger
  • Raspberry Pi
  • Arduino
  • Selenium
  • UiPath RPA
  • Git
  • Jenkins

AI & Machine Learning

  • PyTorch
  • TensorFlow
  • Keras
  • scikit-learn
  • SciPy
  • Neurosymbolic AI
  • Ontologies
  • Rasa
  • KNIME

Formal Methods & Verification

  • Formal methods
  • SMT solvers
  • Z3
  • Model checking
  • LLM verification

LLM Inference & Serving

  • LLM inference
  • NVIDIA Triton Inference Server
  • Model serving

Programming Languages

  • Python
  • R
  • Julia
  • JavaScript
  • Core Java
  • C / C++
  • PHP
  • Shell

APIs & Web

  • Django REST
  • FastAPI
  • Flask
  • REST APIs
  • AJAX
  • Axios
  • Twilio
  • HTML
  • CSS
  • Streamlit
  • Dash & Plotly
  • Wix

Data & BI

  • SQL
  • PostgreSQL
  • SQLite
  • Power BI
  • Tableau
  • Cognos
  • Plotly & Dash
  • Python visualisation

Cloud & DevOps

  • AWS Lambda
  • S3
  • CloudWatch
  • Boto3
  • GCP
  • Heroku
  • Nginx
  • Jenkins CI/CD
  • Git
  • SVN

Automation & ETL

  • Apache Airflow
  • DAGs
  • Spark
  • Celery
  • APScheduler
  • Selenium
  • Scrapy
  • UiPath RPA

Blockchain

  • Solidity
  • Infura
  • IPFS
  • Hyperledger

IoT & Edge

  • Raspberry Pi
  • Arduino
  • Digital sensors
  • Analog sensors
  • Edge deployment

Security

  • Burp Suite
  • Metasploit
  • Fortify (SAST)
  • WebInspect (DAST)
  • DevSecOps
06 / Projects

Things I've made.

A selection of deployed apps, websites and writing from over the years.

CS Conference Rankings

A searchable list of 891 computer-science conferences ranked A+ to C, useful when deciding where to submit.

Explore
07 / Collaborate

Let's work together.

I'm open to research collaborations, mentoring and consulting. Here's where I can help.

Research Collaboration

Co-authoring books, journal papers and patents, from first idea to proof of concept.

Start a conversation

Coursework

Creating coursework in AI and data science, and helping or guiding others through it.

Start a conversation

Project Development

Building projects and assessing their feasibility, with guidance on funding.

Start a conversation

Research Paper Implementation

Implementing and reproducing research papers, building proofs of concept and consulting on the work.

Start a conversation

Patents

Proofs of concept, implementation and consultation for patent filings.

Start a conversation

Consulting

Advice on projects, assignments and funding, and market analysis for products.

Start a conversation
08 / Mentors

The people who lit the path.

No one gets here alone. These two teachers shaped my journey more than anyone else.

Dr. P. Supraja
My idol · Mentor & guide

Dr. P. Supraja

Associate Professor, School of Computing, SRMIST

A car is useless without a good engine, and I would have been nowhere without the right guidance and motivation. As my guru, she lit the best path for me and stood by me through every failure and roadblock. Whatever I become, the credit will always be hers: my idol, and an elder sister to me.
Dept. of Networking and Communications Kattankulathur, Chennai B.E., M.E., Ph.D.
  • 14Awards
  • 23Journals
  • 22Conferences
  • 10Patents
Website Google Scholar SRM profile
Dr. A. Helen Victoria
Best teacher

Dr. A. Helen Victoria

Assistant Professor, School of Computing, SRMIST

Technology is just a tool. When it comes to getting students to work together and keeping them motivated, the teacher matters most. It's the teacher who makes the difference, not the classroom. Education is the key to success, and teachers leave a lasting mark on their students' lives.
Dept. of Networking and Communications Kattankulathur, Chennai B.E., M.E., Ph.D.
  • 4Awards
  • 7Journals
  • 6Conferences
  • 4Patents
Google Scholar SRM profile
09 / Beyond research

The other half of me.

When I'm not training models, I'm usually writing, painting or wandering somewhere new.

  • Reading
  • Writing
  • Poetry
  • Painting
  • Wandering
  • Music
  • Gardening
  • Cooking
  • Making things
  • Motivating others
  • Teaching
  • Meeting new people
“If you're out there being really hard on yourself for something that has happened, that's normal. It's what happens in life. No one gets through unscathed; we all collect a few scratches. Please be kind to yourself, and stand up for yourself.”

Words, not just weights.

I've written 80+ articles on AI and published poems in The Indian Periodical and on my blog.

Blog Medium Poems
10 / Contact

Let's build something meaningful.

Whether it's a research idea, a book chapter, a project or just a hello, my inbox is open.

contact@rstiwari.com
  • New Delhi, India
  • IST (UTC+5:30)
  • Open to collaboration