Anitha Gollamudiمشاهده پروفایل
استادیار
Anitha Gollamudi is an Assistant Professor in the Department of Computer Science at the Miner School of Computer and Information Sciences, University of Massachusetts Lowell. She teaches core courses including Systems Security (COMP 5300), Compiler Construction (COMP 4060/5340), and Organization of Programming Languages (COMP 3010). Her research focuses on language-based security through hardware-assisted mechanisms, cryptography, and formal methods. Current projects include: Automatic compartmentalization of Trusted Execution Environment (TEE) programs Formal foundations of Fully Homomorphic Encryption (FHE) compilers Privacy-preserving machine learning with encrypted learning Analysis of her 8 recent publications (2016-2025) reveals dominant themes in TEE security and secure compilation. Key contributions address memory safety in WebAssembly, authorization logic for computation principals, and formal verification of cryptographic systems. Her work consistently bridges theoretical foundations with practical implementations for real-world security challenges. No scientific awards were mentioned in the available information. Professor Gollamudi actively mentors students across levels, currently advising PhD candidates Wesley B. Nuzzo and Samuel Dodson alongside undergraduate Benjamin Houle. Her former students include Nam Bui, James Chen, Yuka Akiyama (honors thesis), and Andrew Eggleston. She emphasizes collaborative research and encourages prospective students to contact her with research interests and academic background. She leads a research group focused on applying programming language techniques to security problems, with ongoing projects targeting enclave placement optimization, FHE correctness verification, and encrypted machine learning frameworks.
