Angello Astorga Angello Astorga

PhD Student
Department of Computer Science
University of Illinois at Urbana-Champaign
Email: aastorg2 AT illinois DOT edu

I am a first year PhD student in the Illinois Automated Software Engineering Group within the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area at Illinois CS. My adviser is professor Tao Xie.
My research interests lie at the intersection of software engineering and software verification. Primarily, my research spans the area program analysis, test generation and runtime verification. My goal is to engineer software tools that push tedious software development tasks such as finding bugs onto computers. Ultimately, I wish to make industry impact by creating tools to help software developers create more reliable software.

I obtained a Bachelor of Science (B.S.) in Computer Science and Engineering with Magna Cum Laude Honors from The Ohio State University. During my time as an undergraduate, I participated in the Summer Research Opportunities Program (SROP) where I engaged in rigourous research experiences. This includes a stint at Purdue University with Professor Xiangyu Zhang and at the University of Iowa with Professor Aaron Stump.

  • [Summer 2016] Will intern at Adobe Research (Cambridge, MA) under the supervision of Shoaib Kamil.
  • [Fall 2016] Will intern at Microsoft Research (Redmond, WA) under the supervision of Mark Marron
  • [Fall 2016] Awarded the GEM fellowship as a full fellow.

  • Ongoing:

    Precondition Generation (submitted)

    Multiple Implementation Testing for Machine Learning Software (submitted)


    Evaluating the Effectiveness of Predicate Switching (2013)
    Angello Astorga, Nick Sumner, Xiangyu Zhang

    Verified Abstract Machines (2012)
    Angello Astorga, Peng Fu, Garrin Kimmel, Aaron Stump

    Coming soon.

    Inspired by the HTML style by Atenas Rountev