Aditya Kaushik Email and Phone Number

• Currently TA-ing for CS 4510 (Automata & Complexity), previously for CS 3510 (Algorithms) and CS 2200 (Systems & Networks)• Create homeworks, exams, and conduct office hours

• Developed an intelligent, distributed planning algorithm to efficiently schedule and route data across a long- range tactical RF network continuously, leveraging advanced graph algorithms to prune undesirable network edges, optimizing task scheduling and reducing computational complexity.• Collaborated with business users to define problem specifications, performance tolerances, and capabilities. Designed and packaged a robust application using Java and C++, showcasing the prototype to stakeholders.• Created a distributed monitoring application to assess the health of satellite antenna scheduling systems across multiple Space Force bases through enabling inter-machine communication.• Propagated network information and program errors for real-time synchronization and robust error reporting. Utilized VisualVM to monitor CPU and memory usage, and network metrics to diagnose connectivity issues.

• Created Java microservice using Spring Boot which implemented a transaction canceling service to detect unintended actions and alert theappropriate business users to action next steps as part of a broader rewrite of the position services system• Developed Kafka-backed application to produce transaction messages and consume them for the purpose of canceling transactions as well asconnecting the topic to Pagerduty for the purpose of alerting.• Designed rules engine using SpEL (Spring Expression Language) to extract logic of the detecting bad transactions and sending to differentbusiness users out of the application code• Deployed application in GCP environment within a kubernetes cluster in a sidecar container alongside the other application services• Built a health monitoring service for a critical gRPC API and deployed in a sidecar container alongside the API service• Used OpenTelemetry to aggregate availability and latency metrics and connect them to a Datadog dashboard

• Worked on a team of interns to rapidly prototype a new service for visualization and analytics tools that assist timing engineers in resolving issues for IBM POWER and Z chips.• Fully designed solution as well as scope of project based on mentorship from EDA team as well as interviews with chip engineers.• Developed high-performance C and C++ software to interface with a data model consisting of millions of latches, ports, wires, and timing information.• Packaged all features into an application for chip designers to use to triage and solve timing issues, and demonstrated to IBM executives

• Student Researcher at the Lightsey Space Research Lab•Working on team to develop flight software for the GT-2 cube satellite.•Specifically working on developing software for the Sun Sensors and the External ADC Driver.

•Worked on the Cloud Infrastructure team to shift the company to a multi-account strategy for AWS•Created full-stack Flask application providing a searchable index of the company's AWS accounts, as well as portal to create a request for a new account•Orchestrated the deployment of the application on an EC2 cluster using ALB and Route53 for routing