b'Gabriel Lopez Zenarosa\n\n3700 O\'Hara Street, Benedum Email:\nHall 1048\nWeb: http://www.cs.cmu.edu/~gzen\nPittsburgh, PA 15261-3048\n\nTechnical Skills\nCPLEX, GAMS, JuMP, COIN-OR, UML, Java, C/C++, XML/XSL/XSD, SQL, DBMS (MySQL, PostGreSQL, Oracle),\nVisual Basic, Windows, Unix.\nEducation\n2009 - present\nUniversity of Pittsburgh\nDoctor of Philosophy in Industrial Engineering\n2004 - 2005\nCarnegie Mellon University\nMaster of Software Engineering\n1998 - 2002\nColumbia University\nMaster of Science in Computer Science\n1993 - 1997\nUniversity of the Philippines\nBachelor of Science in Computer Science (Cum Laude honors conferred)\n\nPittsburgh, PA\nPittsburgh, PA\nNew York, NY\nDiliman, QC\n\nSelect Projects\nUniversity of Pittsburgh\n2014\nScenario-Tree Decomposition: Bounds for Multistage Stochastic Mixed-Integer Programs (Working Paper).\nCo-authored a working paper that presents scenario-tree decomposition as a method for establishing bounds on\nmultistage stochastic mixed-integer programs.\nUniversity of Pittsburgh\n2013\nGray\xe2\x80\x99s Time-varying Coefficients Model for Posttransplant Survival of Pediatric Liver Transplant Recipients\nwith a Diagnosis of Cancer (Publication). Co-authored a journal article that compares the results of using the Cox\nproportional hazards and Gray\'s piecewise-constant time-varying coefficients models in the analysis of liver\nposttransplant survival of pediatric patients with a diagnosis of cancer.\nUniversity of Pittsburgh\n2011\nA Biologically Based Discrete-event Simulation Model of Liver Transplantation in the United States for\nPediatric and Adult Patients (Publication). Co-authored a conference paper that describes our discrete-event\nsimulation model of the national liver allocation system that incorporates the stochastic, disease-specific natural\nhistories of pediatric and adult patients.\nUniversity of Pittsburgh\n2011\nTowards Automated Oracles for GUI Input Validation (Publication). Co-authored a workshop paper that reports\non our approach in automating the testing of input validation in a line of web applications.\nCarnegie Mellon University and University of Pittsburgh\n2009\nSoftware Mythbusters Explore Formal Methods (Publication). Co-authored an article that reflects on Anthony\nHall\'s IEEE Software article, "Seven Myths of Formal Methods."\nCarnegie Mellon University\n2008\nExperiences in Engineering Active Replication into a Traditional Three-tiered Client-server System\n(Publication). Co-authored a workshop paper that reports on our experiences in incorporating active replication into a\nsystem following the three-tiered client-server architecture style.\nCarnegie Mellon University\n2005-2008\nRADAR-TM (Reflective Agents with Distributed Adaptive Reasoning-Task Management). Collaborated with a\ngroup to design an intelligent prioritizing action list that dynamically reorders tasks along changing time and activity\ncontexts. The reordering behavior is learned from experts\' usage of the RADAR action list.\nCarnegie Mellon University\nSchool Year 2004-2005\nATGen-Arch (Architectural Test Generator: Architecture Specification Subsystem). Collaborated with a group to\narchitect a subsystem to specify microprocessor properties relevant to architectural test generators. The project\ninvolved the selection of a microprocessor architecture description language (ADL) best suited for generating tests,\n\n\x0cthe design of an efficient internal data model for storing microprocessor architectural properties, and the creation of\nan application programming interface (API) for querying those properties.\nCarnegie Mellon University\nSpring 2005\nHigh-performance Fault-tolerant Distributed Banking System. Collaborated with a group to formally design and\nimplement an efficient and actively replicated distributed banking system.\nColumbia University\nSummer 2003\nA Goal-directed Search for Hard Bin-packing Problem Instances (Term Paper). Presented an initial investigation\nof the hard instances of the bin-packing problem leveraging on previous work on the Satisfiability (SAT) problem.\nColumbia University\nFall 2000\nXML Browser for the PalmOS. Created an XML Browser for the PalmOS patterned after the Microsoft Internet\nExplorer 5.5 XML Tree View.\nColumbia University\nFall 1998\nDistributed Data Filtering System. Collaborated with a group to design and construct a framework for distributed\ndata filtering in Java.\nUniversity of the Philippines\nSchool Year 1996 - 1997\nConnect: Java Data Conferencing. Managed a group to plan and build Connect, an Internet data conferencing\nsolution to distance learning.\nWork Experience\n08 / 2008 - 09 / 2009\nUniversity of Pittsburgh\nPittsburgh, PA\nSoftware Quality Assurance Test Engineer\nAutomated the web application input validation testing process (continuously being evolved and improved)\nRedesigned the input validation specification template to be machine-readable to enable automatic edits\ntesting of web applications and web services\nEngineered a generic frame-independent web form input validation testing application in SilkTest\n08 / 2007 - 09 / 2008\nCarnegie Mellon University\nPittsburgh, PA\nResearch Programmer\nImplemented research ideas on dynamic action list prioritization for the RADAR system\nConstructed and integrated into RADAR a software component for prioritizing action lists\nProcessed the data from expert user studies to generate the training set for the action list prioritizer\n02 / 2007 - 06 / 2008\nSelf-employed\nPittsburgh, PA\nSoftware Process Consultant at invivodata\xc2\xae, inc.\nAnalyzed and improved the client\'s software localization process\nCreated UML activity diagrams for the original process to help identify points of improvement\nDeployed a Subversion-based process to improve revision tracking and control of localization artifacts\nAuthored a software requirements specification document for a software localization system aimed to\nstreamline the localization process\nArchitected and constructed a software screen scraping tool to shorten the time required to capture screens\nfor translation and review\nModeled the client\'s product deployment process in BPMN\nEnabled future process analyses and potential automatic implementation via web services\n01 / 2006 - 05 / 2007\nCarnegie Mellon University\nPittsburgh, PA\nMaster of Software Engineering Fellow\nConducted research on task management topics, particularly dynamic action list prioritization\nFormulated the prioritization problem as a classification problem where task features--both static (e.g. type\nand self-initiated indicators) and dynamic (e.g., time context and past activities)--are mapped to nominal\npriority values\nPerformed teaching assistant duties in support of administering Master of Software Engineering courses\nDesigned and led recitation classes, lectured topics in UML, and created and enhanced homework problems\n05 / 2003 - 08 / 2004\nNYFIX, Inc. (Javelin Technologies, Inc.)\nClient Support Engineer\n\nNew York, NY\n\n\x0cProvided support services and software integration solutions for the company\'s FIX protocol engine and other\nutilities\nAdvised systems analysts and developers from a number of financial institutions on integrating their order\nmanagement systems with the Appia FIX engine\nSuggested hardware, software, and middleware - RMI, socket (raw or via Java, C++, or ActiveX\ntoolkit), MQ, Tibco/RV, and JMS - configurations appropriate for the client\'s operating environment\nProvided complete and proof-of-concept software solutions according to client business requirements\nAided clients in troubleshooting FIX connectivity issues and session- and application-level messaging errors\n06 / 1997 - 08 / 2002\nREF Computer Corporation\nNew City, NY\nSoftware Engineer\nIT Consultant for Merrill Lynch - Retirement Group Technology in Hopewell, NJ (since 1998)\nReengineered, enhanced, and maintained, with a group, the 401(k) Participant Service Representative client\nsoftware system and custom middleware\nPerformed systems analysis and design according to business requirements on 401(k) disbursements\n(with rollovers and in-kinds), loans, corporate actions, real-time trading, etc.\nConstructed ad hoc systems such as test-environment changer and database-change tracking system\nto increase productivity in using and deploying the client software\nTechnologies used include Visual C++, Windows NT, and PVCS for the client system\xcd\xbe PL/SQL for\nOracle stored procedures and triggers\xcd\xbe Unix ksh scripting, C++, Java, and XML for batch (ftp) updates\nto Oracle (on Solaris)\xcd\xbe VB, Access, and Crystal Reports for ad hoc support systems\nDesigned and constructed, with a group, the 401(k) Unitized Fund Accounting System\nTechnologies used include VB and Crystal Reports for the client system\xcd\xbe SQL on DB2 for data-retrieval\nCreated the design document for the 401(k) Corporate Actions system upon which the document template for\nSystems Analysis and Design for the Retirement Group division was based\nPerformed coding enhancements, client-site installations, and technical support services for the REF records\nconversion software\nAdministered the Windows NT 4.0 network for REF Computer Corporation (1997-1998)\n04 / 1995 - 04 / 1997\n\nDepartment of Science and Technology - Advanced Science\nand Technology Institute\n\nMetro Manila,\nPhilippines\n\nStudent Assistant\nEngineered, with a group of 5 people, the DOST-ASTI image processor for the DSRT weather satellite\nDeveloped, with a group of 5 people, the DOST-ASTI Private Automatic Branch Exchange General Accounting\nSystem\nConstructed, with a group of 3 people, a dormitory-records management system\nProfessional Memberships\nSociety for Industrial and Applied Mathematics (Member since 2014)\nInstitute for Operations Research and the Management Sciences (Member since 2010, University of Pittsburgh\nStudent Chapter President in 2011 - 2012)\nAssociation for Computing Machinery (Member since 2003)\nAwards and Recognition\nPre-doctoral Fellowship Award in Clinical and Translational Research (2010-2012)\nThe Honor Society of Phi Kappa Phi (Member since 1997)\nSource: resume.xsd, resume.xml, resume.xsl. Other formats: resume.docx (MS Word), resume.pdf (PDF).'