Martim S. Gaspar

Hi, I’m Martim! 👋 Thanks for visiting my corner of the internet.

I’m a Senior at UNC-Chapel Hill, deeply passionate about the intersection of hardware and software. Currently, I work as in the Hardware Security Lab @ UNC, focusing on tools for formal security validation in hardware designs. I’m also exploring XR technologies and leading research initiatives as part of the Carolina AR/VR Club, mentored by Dr. Richard Marks (former president of PlayStation Magic Labs).

My work spans operating systems, hardware design, and AR/VR development. I’ve prototyped selective noise-canceling AR glasses, contributed to formal verification tools for Intel, and created haptic feedback gloves for VR. I’ve also worked integrating AI into robots during my internship on the Infosys Emerging Technologies R&D team, with demos showcased to executives from Fortune 500 companies.

Beyond research, I love teaching and mentoring. I’ve supported students as an undergraduate teaching assistant in systems fundamentals, leading to high course averages, and frequently collaborate with peers to bridge academic research and undergraduate opportunities.