Alex Gyori

I am a Research Scientist on the Core Systems team at Facebook in Seattle. My work focuses on improving the reliability of large scale distributed systems. I got my PhD in Computer Science from the University of Illinois at Urbana-Champaign where I worked on software testing and verification.

I was awarded the Saburo Muroga Fellowship (2014) and the General Electric Foundation Scholar Leaders Award (2011). I interned at Microsoft Research (2015), Google (2014), ITI (2012), and Continental AG (2011, 2010). I got my BSc (2013) in Computer Science from The Polytechnic University of Timisoara, Romania.

Education

  • 2013 Present

    PhD, Computer Science

    University of Illinois

    Adviser: Darko Marinov
  • 2009 2013

    BSc, Computer and Software Engineering

    Polytechnic University of Timisoara, Romania

    Advisory: Danny Dig and Marius Minea

News

  • October 2016: I'm visiting George Mason University and giving a talk
    • .
  • August 2016: I'm the TA for our graduate class on Software Testing CS527
    • .
  • June 2016: We've released NonDex
  • May 2015: I'm interning at Microsoft Research Redmond for the summer.
  • May 2015: I'm attending the Fifth Summer School on Formal Techniques in Atherton, California.
  • March 2015: I'm visiting Timisoara, Romania and giving a talk about PhD studies and research in the US for students.
  • March 2015: I'm visiting London and Oxford for Spring Break and giving talks at Oxford, UCL, and Imperial. Thanks to Cristi Iuga for hosting me for a week in Oxford.
  • August 2014: Awarded Saburo Muroga Endowed Fellowship for 2014-2015
  • July 2014: I'm attending the TAROT summer school on Software Testing Research in Porto.
  • May 2014: I'm interning at Google in Mountain View for the Summer'14 semester.
  • May 2013: I'm going to University of Illinois at Urbana-Champaign for my PhD. I'll be co-advised by Danny Dig and Darko Marinov. Starting August 2013.
  • May 2013: I'm attending Third International SAT/SMT Summer School 2013 this July in Helsinki.
  • February 2013: our latest refactorings that empower Java programmers to use lambda expressions are shipping with the official release of the NetBeans IDE.