Software Engineer in Test @ Improving HTML5 quality in Chrome browsers! Developing tools to test the quality and performance of video and audio in HTML5. From September 2011 to Present (4 years 2 months) KirklandResearch Assistant supervised by Prof. Sarfraz Khurshid @ Research: Automated Database Engine Testing for Correctness This is an ongoing research project to automate black-box database engine testing. The research includes automatic generation of data, SQL queries, expected results and test results using a declarative language like Alloy which provides the enabling technology to check the correctness of output for queries using SAT solvers. The research has showed interesting results, finding and reproducing bugs in Oracle 11g, MySql and HSQLDB. A poster about this research has been presented in ISSTA’08 and a full paper has been published in ASE 2008 conference. A reference to the paper can be found on ieee.org website titled “Query-Aware Test Generation Using a Relational Constraint Solver”. From August 2009 to November 2011 (2 years 4 months) Teaching Assistant @ From August 2007 to May 2011 (3 years 10 months) Software Engineer Intern @ Summer internship with GMail front-end team. Worked on developing a framework for testing GMail layout components in bidi languages. From May 2010 to August 2010 (4 months) Quality Engineer Intern @ Summer internship with the Hadoop team ­ a part of Grid Computing. Automating SQL-PIG Testing (Manager: Nigel Daley). My project included SQL query generation used for testing SQL component of the PIG project. I used a random query generator to generate queries based on specific input domain and incorporated it into the testing harness. In addition, I contributed in designing a test plan to be used for test coverage. From May 2009 to August 2009 (4 months) Software Engineer Intern @ Summer internship with Measurement Studio team. DAQ code-generation using WPF (Manager: David Rohacek). My project included researching for solutions to migrate components using windows forms into windows platform foundation. I provided solutions and limitations for approaches available. In addition, I incorporated some changes to available components to verify possible solutions helping the team in taking similar approaches for other components in the migration process. From May 2008 to August 2008 (4 months) Software Engineer @ Document Mediator Module (Manager: Carole Alsharabati) My work was centered on a medical application concerned with sending, storing and compressing medical images, using Java as the basic language for development. Major tasks were the design, implementation, testing and optimization of the backend server application. Skills acquired were related to Java programming, Java servlets application design, JSP/HTML web design, SOAP based web services, VB6 programming. From September 2006 to August 2007 (1 year)

PhD, Software Engineering @ The University of Texas at Austin From 2007 to 2011 MS, Software Engineering @ The University of Texas at Austin From 2007 to 2009 BS, Computer Science @ American University of Beirut From 2003 to 2006 Shadi Ph.D. is skilled in: Java, Software Engineering, SQL, Python, JavaScript, C, Hadoop, Model Checking, Testing, Distributed Systems, Web Services, Web Applications, Visual Basic, Oracle, MySQL, Software Design, HTML 5, Algorithms, Computer Science