🎓 M.S. Computer Science @ University of Nebraska Omaha (GPA: 4.0)
🔬 Graduate Research Assistant | Systems + AI + LLMs
💻 Full-Stack Engineer | Data & Cloud Enthusiast
🌎 Omaha, Nebraska
I’m a Computer Engineer turned researcher and software engineer, passionate about building intelligent systems that combine strong theoretical foundations with real-world impact.
My work sits at the intersection of:
- 🧠 Artificial Intelligence & LLMs
- ⚙️ Operating Systems & Memory Management
- ☁️ Cloud & Distributed Systems
- 📊 Data Engineering & Analytics
- 🔍 Explainable AI
Currently, I’m working on extending Answer Set Programming (ASP) using AST transformations and custom functional syntax - building compilation pipelines with Clingo + Python.
📦 https://github.com/krr-uno-fasp
Research and development on extending Answer Set Programming (ASP) with functional syntax and higher-level abstractions.
- Designed and implemented functional extensions to declarative logic programs
- Built parser enhancements and custom operator support
- Developed AST transformation pipelines using the Clingo API
- Created a Python-based compilation framework to translate functional programs into standard ASP and back
- Preserved compatibility with existing ASP solvers while enabling more expressive modeling
This work bridges formal logic, programming language design, and systems-level tooling.
📦 Doctor-Speciality-Recommender
📦 DoctorSpecialityRecommender-Quiz
A web-based explainable AI system that:
- Integrates classical ML models + LLM explanations
- Uses LLMs for explanation generation
- Includes interactive quizzes for reasoning evaluation
- Logs structured data for XAI user studies
Built with:
- Python
- Streamlit
- Scikit-learn
- LLM APIs
📦 Memory-Pressure-Analysis
Analyzing memory pressure effects on:
- Docker containers (cgroups)
- KVM virtual machines
- Tail latency & throughput under constrained memory
Bridging Advanced OS concepts with performance experimentation.
📦 SmartAttendanceSystem
Face-recognition-based real-time attendance system:
- On-device feature extraction
- Secure embedding transmission
- Reduced network overhead
Co-author of:
Improved Pre-processing Techniques for Mobile-based OCR Systems ICT-CEEL 2023
Worked on:
- Segmentation
- Noise filtering
- Skew correction
- Improved OCR accuracy by 50%
Related repos:
OCRSegmentationSkewCorrectionEasyRead
University of Nebraska Omaha
- Extended declarative programming language syntax
- Built custom AST transformations using Clingo API
- Designed Python compilation pipelines for ASP compatibility
GrowByData Services
- Built scalable ETL pipelines
- Integrated Google Analytics, Google Ads & Meta Ads APIs
- Delivered BI dashboards for e-commerce analytics
Avana Game Studios
- Unity (C#) development
- Built guitar simulation mapped to MIDI
- Designed 3D assets in Blender
Python C C++ Java SQL JavaScript C#
Scikit-learn NLP Computer Vision LLMs Statistical Modeling
Django Flask FastAPI Streamlit React REST APIs
Linux Docker AWS Azure Snowflake CI/CD
Pandas NumPy Matplotlib Power BI ETL Pipelines
-
Research in Answer Set Programming (ASP) & Functional ASP Extensions Contributing to: https://github.com/krr-uno-fasp Building parser extensions, AST transformations, and Python-based compilation pipelines using Clingo.
-
Strong foundation in Operating Systems & Systems Programming Repositories:
OS-Project,distributed_rtos -
AI-driven applications & research tools Including LLM-powered medical recommender systems and XAI user studies
-
Data engineering & analytics pipelines ETL workflows, API integrations, and business intelligence systems
-
Early projects in C++ graphics, Java OCR systems, and Python ML Demonstrating strong fundamentals across paradigms and languages
From low-level C systems code to high-level LLM applications, I enjoy working across the stack.
- 💰 $5,000 GRACA Research Grant (UNO)
- 🥇 First Prize - openIMIS-DRG Datathon 2022
- 🎓 Batch Topper (Multiple Semesters)
- LinkedIn: https://linkedin.com/in/ravip5921
- Email: pandeyyravi7@gmail.com
- Memory management under containerized workloads
- LLM + symbolic system integration
- Explainable AI for high-stakes domains
- Research publication & PhD preparation
If you're working on:
- Systems research
- AI + OS integration
- LLM infrastructure
- Experimental performance analysis
Let’s collaborate 🚀