Skip to content
View MANISH-K-07's full-sized avatar
Perfectionist
Perfectionist

Block or report MANISH-K-07

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
MANISH-K-07/README.md

Manish Krishna Kandrakota — Software Developer & Open-Source Contributor

⭐ Profile Summary :

I am a final-year B.Tech Computer Science Engineering student at Sreenidhi Institute of Science and Technology (India) with a strong interest in software engineering, static analysis, distributed systems, software security, compilers, machine learning systems, program analysis and open-source ecosystems. My primary technical experience comes from contributing extensively to Checkstyle, a widely used Java static analysis tool, where I have made significant improvements to code reliability, test coverage, and rule implementations. Following which, I have built an extensive set of projects for my portfolio.

I am currently preparing to pursue a Masters in Computer Science at a top global university, with the goal of becoming a systems-focused software engineer capable of building impactful, large-scale developer tools and software systems.

👉🏻 You can view or download my Resume and Curriculum vitae here: MANISH-K-07/Resume


📈 Research Experience :

Published in IEEE Xplore (Sophomore Year) Title: Charity with Clarity : Crowdfunding using Smart contracts

This work explored the application of blockchain technologies in crowdfunding systems. Responsibilities included literature review, system design, model implementation, and empirical evaluation.

This experience helped develop skills in:

  • Research methodology

  • Data analysis

  • Prototype development

  • Technical writing

👉🏻 You can view the Full paper and the Smart Contract here: MANISH-K-07/Research


🏗️ Projects :

Name Description Domain
CodeChecker Java-based code linter with style and cyclomatic complexity checks Program Analysis & Static Code Analysis
PyScope A lightweight performance profiler for Python programs Dynamic Program Analysis & Runtime Systems
SecureFlow A static taint-analysis tool detecting untrusted input flows to dangerous APIs Software Security & Vulnerability Analysis
NodeSync Mini fault-tolerant key-value store Distributed Systems & Concurrency
Py2C A mini Python-to-C optimizer built from first principles Compiler Design & Program Transformation
ModelTrace A research-grade framework for inspecting, debugging, and stress-testing ML models Machine Learning Systems & Model Interpretability

✒️ Blogs & Articles :

I actively document my technical work through long-form articles that break down complex systems into first-principles explanations. From compilers and program analysis to distributed systems and machine learning systems, I write in-depth technical blogs that cover design decisions, implementation details, experiments, limitations, and research relevance—treating documentation as an integral part of engineering, not an afterthought. I also write articles that share my personal experiences, mistakes—that make me human, and my learning journey.


🤖 Technical Skills :

Languages: Java, Python, JavaScript, C++ , Solidity

Tools & Frameworks: Git, Github API, CI/CD, Flutter, Node.js, Docker

Core Interests:

  • Static Analysis & Program Quality

  • Software Architecture & Engineering Principles

  • Distributed Systems

  • Software Security & Vulnerability Analysis

  • Cloud Concepts

  • Automated Testing & Tooling

  • Machine Learning & Artificial Intelligence


🎖️ Professional Coursework & Certifications :

  • Azure Fundamentals (AZ-900) — Microsoft Learn (Completed, Dec 2025)

    (Cloud concepts, Azure architecture, management & governance)

  • Introduction to Linux — LinuxFoundationX LFS101x (edX Coursework – Completed, Dec 2025)

  • Pearson Certified – Business English (English Expert - Credential)

  • ISRO-IIRS — Overview of Geo-computation & Geo-web services (Issued Jan 2024)

    (Practical, real-world applications using Python)


🧠 Academic & Career Objectives :

I am seeking admission to a top-tier Masters program in Computer Science, particularly those emphasizing:

  • Static Analysis & Software Security

  • Advanced software engineering

  • Distributed and large-scale systems

  • Cloud and platform infrastructure

  • Developer tooling and automation

My long-term goal is to work on engineering teams that build foundational tools, platforms, and systems used by developers and organizations globally.


☎ Contact :

Email: manish07070707@gmail.com

GitHub: MANISH-K-07

LinkedIn: manish-k-kandrakota


🪢 Summary Statistics :

  • IEEE-published author

  • 100+ open-source contributions to Checkstyle

  • Extensive Projects Portfolio

  • Technical Blogs @ Medium, Hashnode

  • Experience across software development, tooling, and mobile engineering

  • Strong technical foundation and ample academic research for top MEng & MS programs


Pinned Loading

  1. SecureFlow SecureFlow Public

    A static taint-analysis tool that detects when untrusted input flows into dangerous APIs.

    Java 1

  2. NodeSync NodeSync Public

    Distributed Systems – Mini Fault-Tolerant Key-Value Store

    Python 1

  3. CodeChecker CodeChecker Public

    Java-based code linter with style and cyclomatic complexity checks, designed for learning and portfolio projects.

    Java 1

  4. Py2C Py2C Public

    A mini Python-to-C optimizer, built from first principles

    Python 1

  5. PyScope PyScope Public

    A lightweight performance profiler for Python programs

    Python 1

  6. ModelTrace ModelTrace Public

    A Research-Grade Framework for Inspecting, Debugging, and Stress-Testing Machine Learning Models

    Python 1