- Arvind Krishnaa Jagannathan
- Currently at Microsoft
- Montgomery Knight Building270 Ferst DriveAtlanta, GA 30332United States
I am second year MS CS student from the College of Computing. I received my Bachelor's degree in Computer Science (B.E) from Anna University, Chennai, India in 2012.
The focus of my work in general is around artificial intelligence and machine learning. Web based user interface design is also one of my interests. In the CEC, I am working on trying to automatically generate scenarios of interest with regards to flight operations in an abstract way, so that such a model can be simulated in our continuous time simulator (WMC) as well as modeled using a finite state model checker (SAL). We hope to combine the best aspects of both, such as the high fidelity of a simulator and the exhaustive state space search of a finite state model checker. I work under the advisement of Dr. Karen Feigh.
I will be graduating in Spring 2014 and will be moving to Seattle. When I am not busy trying to get code to compile, I like to play cricket http://en.wikipedia.org/wiki/Cricket, cool off on computer games and trying out exotic food.
NextGen systems are envisioned to be composed of human and automated agents interacting with dynamic flexibility in the allocation of authority and autonomy. The analysis of such concepts of operation requires methods for verifying and validating that the range of roles and responsibilities potentially assignable to the human and automated agents does not lead to unsafe situations.