Initializing systems...
Open to Opportunities

Manish Krishna
Kandrakota

// Computer Science & Security Engineer

Building resilient distributed systems, compilers, and security tools.
Carnegie Mellon University · MS Information Security
IEEE-published author. 100+ open-source contributions.

Download Resume ↓
6 Projects
100 OSS Contributions
2 IEEE Publications
Manish Krishna Kandrakota
🎓
CMU MSIS
Class of '28
scroll
01. about

What I Build

Focused on building systems that make software more reliable and secure.

My work sits at the intersection of systems engineering, program analysis, and security tooling — from distributed infrastructure and static analysis pipelines to developer-focused security frameworks.
I design tools that operate close to the code itself: analyzing program structure, enforcing correctness, and uncovering vulnerabilities before they reach production.

⚙

Systems Engineering

Designing fault-tolerant distributed systems and concurrent architectures with consistency guarantees.

Distributed SystemsConcurrencyFault Tolerance
🔬

Static Analysis

Building program analysis tools at the AST level — linters, taint analyzers, complexity checkers, and runtime profilers.

AST ParsingProgram AnalysisCode QualityCompiler Tooling
🔐

Software Security

Implementing taint-analysis frameworks, encrypted microservice channels, and vulnerability detection in production code.

Taint AnalysisCryptographySecure Design
02. projects

Featured Work

01 ↗

NodeSync

Mini fault-tolerant key-value store exploring consistency models, network communication, and fault-tolerant design across distributed nodes.

PythonDistributed SystemsFault Tolerance
02 ↗

SecureFlow

Static taint-analysis tool detecting untrusted input flows to dangerous APIs. Security-first microservices with encrypted channels.

JavaTaint AnalysisSoftware Security
03 ↗

CodeChecker

Java-based code linter with style checks and cyclomatic complexity analysis. AST-level static analysis to detect inefficiencies before runtime.

JavaASTStatic Analysis
04 ↗

Py2C

Mini Python-to-C optimizer built from first principles. Explores compiler theory, code generation, and runtime efficiency improvements.

PythonCompiler DesignCode Generation
05 ↗

PyScope

Lightweight performance profiler for Python programs. Dynamic program analysis and runtime systems instrumentation for real workloads.

PythonProfilingRuntime Analysis
06 ↗

ModelTrace

Research-grade framework for inspecting, debugging, and stress-testing ML models. Applies program analysis principles to ML systems.

PythonML SystemsInterpretability
// more on github View All Repos ↗
03. research

Publications

IEEE Xplore ICRISST 2024

Charity with Clarity:

Crowdfunding using Smart Contracts

Explores blockchain technologies in transparent crowdfunding systems. Covers system design, smart contract implementation, and empirical evaluation of decentralized funding models.

BlockchainSmart ContractsSolidityDistributed Systems
Read Paper ↗
✍

Technical Writing

Long-form deep dives on compilers, distributed systems, and ML — treating documentation as crucial as implementation.

Medium ↗ Hashnode ↗
IEEE Xplore ICSSAS 2026

SphinxATS: A Multi-Attribute AI-based Decision Support System for Automated Resume Screening and Candidate Ranking

Explores Multi-Attribute Optimization and Explainable AI. System design and implementation in Modular Python and Flask processing engine, NLP text pipelines.

Multiple-Criteria Decision-Making (MCDM / MCDA)Natural Language ProcessingDecision Support SystemsApplicant Tracking System
Read Paper ↗ View SphinxATS ↗
04. experience

Experience

Honda Research InitiativeAugust 2026 – Present

Independent Study; Co-X Knowledge Management AI System

Shortlisted for a highly competitive project with Honda Research (PI Prof. David Lamont), crafting a 3-state confirmation model (Confirmed/Proposed/Open) for Tepper's MS Product Management Capstone.

CMUAITepper School of Business
Checkstyle (Open Source)December 2023 – May 2024

Open-Source Contributor

100+ merged contributions —
code reliability, test coverage improvements, and rule implementations for one of Java's most used static analysis tools, used by millions of developers worldwide.

JavaStatic AnalysisOpen Source

// certifications

☁
Azure Fundamentals AZ-900
Microsoft · Dec 2025
🐧
Introduction to Linux (LFS101x)
Linux Foundation · Dec 2025
💬
Business English — English Expert
Pearson · Credly Verified

// languages & skills

JavaPythonC++JavaScript SolidityLinuxDocker Git · GitHub API · CI/CD Automation Technical DocumentationResearch
05. academia

Academic Background

Carnegie Mellon UniversityClass of '28

Master of Science in Information Security

Information Networking Institute.
Focusing on systems, security, and large-scale software engineering.

🎓 CMU MSIS · Class of '28
Sreenidhi Institute of Science and Technology2022 – 2026

B.Tech Computer Science & Engineering

IEEE-published author (ICRISST 2024 · ICSSAS 2026)
Built an extensive systems-focused project portfolio spanning distributed systems, compilers, program analysis, and ML infrastructure.

CSESystemsResearch
Telangana State Board of Intermediate Education (TSBIE)2019 – 2021

Class XII — MPC (Mathematics, Physics, Chemistry)

Secured 97% in board examinations.
Strong foundation in mathematics and sciences that underpins systems thinking and algorithm design.

97%MPCTSBIE
Telangana State Secondary School Certificate (TS SSC)2019

Class X — Secondary School Certificate

Achieved a perfect 10/10 CGPA.
Consistently demonstrated academic excellence from foundational schooling onward.

10/10 CGPATS SSC
06. contact

Let's Connect

Whether it's a research conversation, collaboration, or just a hello — my inbox is open.

manish07070707@gmail.com