Major: Computer ScienceDhananjay Raju will move on to Apple Inc., where he will perform formal verification for processors. Contact Information https://www.linkedin.com/in/dhananjay-raju-23639213a/ Email address: draju@cs.utexas.edu