agastya bose

about me

Thank you arav (https://github.com/cubetastic33) for my graduation photo :D

I am an incoming doctoral student of computer science at The University of Texas at Dallas. My interests are low-level systems security and machine learning. For my research, I aim to apply these concepts to amateur satellites in Low Earth Orbit. I am studying computer networking, formal verification of software, and also training to get an amateur radio license. In the summer of 2025, I worked on the logistics for organizing a space security workshop for my university!

education

experience

Research Assistant, Syssec Lab (UT Dallas Computer Science Department)

Richardson, TX, January 2025 – present

Research Assistant, NeuroSpinCompute Lab (UT Dallas Electrical & Computer Engineering Department)

Richardson, TX, December 2022 – May 2024

how to reach me

You should also import my pgp public key!