Harshitha is a Ph.D. student in the college of Computer Engineering and Sciences at Florida with a focus on human machine interaction and formal methods verification. She received her M.S in Computer Science at Florida Tech.
Her research interests include assurance of autonomous agents by formal method verification techniques with human machine interaction and ethical decision making, Ontologies and Natural language processing.
© Florida Institute of Technology, All Rights Reserved