Skip to content
View MadhuNimmo's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report MadhuNimmo

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
MadhuNimmo/README.md

Hi πŸ‘‹, I'm Madhurima

Research Scientist β€’ Generative AI β€’ LLM Systems β€’ Program Analysis

LinkedIn Twitter Website


🧠 About Me

  • πŸ”¬ Research Scientist working on LLM-powered systems & code intelligence
  • βš™οΈ Building agentic AI systems that reason over real-world data
  • 🧩 Interested in reliability, interpretability & evaluation of GenAI systems
  • πŸš€ Previously worked on network observability with LLM agents (Cisco ThousandEyes)
  • πŸ—οΈ Background in program analysis, static analysis & compiler tooling
  • 🌍 Still determined to travel the world (debugging distributed systems everywhere)

⚑ What I Work On

  • πŸ€– Agentic LLM systems (reasoning, tool use, evaluation)
  • πŸ“Š Large-scale AI system reliability & observability
  • 🧠 Code intelligence & vulnerability analysis
  • πŸ” Context engineering for better LLM reasoning
  • πŸ—οΈ From research β†’ production AI systems

πŸ† Highlights

  • πŸ₯‡ Most Innovative Project β€” Cohere Expedition Aya (2025)
  • πŸ₯‰ ACM SRC Grand Finals (Global) β€” 3rd Place
  • πŸ₯‡ SPLASH SRC Winner (Graduate Category)
  • πŸŽ“ Ph.D. in Computer Science β€” UC Riverside

πŸ“š Selected Work

  • πŸ“„ CodeClarity β€” Multilingual code summarization benchmark
  • πŸ“„ FormalSpecCpp β€” LLM-generated formal specifications for C++
  • πŸ“„ Indirection-Bounded Call Graph Analysis (ECOOP)
  • πŸ“„ Vulnerability detection in LLM-generated code (MSR / Microsoft Research)

πŸ› οΈ Tech Stack

Languages: Python β€’ C/C++ β€’ JavaScript β€’ TypeScript AI/ML: PyTorch β€’ LLMs β€’ Prompt Engineering β€’ OpenAI APIs LLM Tooling: LangSmith β€’ Semantic Kernel β€’ Evaluation Pipelines Infra: AWS β€’ Docker β€’ Kubernetes β€’ GitHub Actions


🎯 Fun (because we’re not robots… yet)

  • 🍫 Diagnosed with Obsessive Chocolate Disorder
  • 🍳 I cook like I prompt β€” iterative and occasionally chaotic
  • πŸŽ… Still believe Santa is real (and probably an AI system)
  • 🧭 Travel goal: collect bugs from every timezone

πŸ“ˆ GitHub Stats


πŸ’¬ Let’s Talk About

  • LLM agents that actually work in production
  • Evaluating reasoning (beyond benchmarks)
  • Code + AI intersections
  • Or just… chocolate 🍫

Pinned Loading

  1. wala/WALA wala/WALA Public

    T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

    Java 839 241

  2. Samsung/jalangi2 Samsung/jalangi2 Public

    Dynamic analysis framework for JavaScript

    JavaScript 483 122

  3. ucr-riple/DynCallGraphJS ucr-riple/DynCallGraphJS Public

    A dynamic call graph generator using Jalangi2

    JavaScript 8

  4. YTVideoSummarizer YTVideoSummarizer Public

    Python 21 7

  5. FormalSpecCpp FormalSpecCpp Public

    C++ 11 2

  6. ollama-model-comparator ollama-model-comparator Public

    Python 3 1