Hello Eric, I am interested in co-advising "Symbolic execution of Java/Android code". I don't know much about this topic yet, but I have taken a course in malware defense & software security. We have studied symbolic exeuction of assembly. Sincerely, Phil Pratt-Szeliga Syracuse University