CORY J. PLOCK
`
`CONTACT
`Ph: +1 (855) 776-5436 Ext. 50
`Em: cory.plock@prolifogy.com
`
`ADDRESS
`Prolifogy Inc.
`100 Mill Plain Rd.
`Danbury, CT 06811, USA
`
`OVERVIEW
`
`Expert in embedded software design and synthesis. Extensive background in formal methods, soft-
`ware engineering, and programming languages. Industry experience executing on all phases of the
`software life cycle.
`
`EDUCATION
`
`Ph.D., computer science, May 2008
`New York University
`New York, NY
`
`Master of Science, computer science, December 1999
`Rensselaer Polytechnic Institute
`Troy, NY
`4.0 GPA
`
`Bachelor of Arts, with honors in computer science, January 1998
`Western Connecticut State University
`Danbury, CT
`Summa Cum Laude, 3.93 GPA, 4.0 GPA in major
`
`CERTIFICATIONS
`
`Microsoft Certified Professional Developer (MCPD) .NET 4 Web Developer
`Microsoft Certified Technology Specialist (MCTS) .NET 4 Service Communication Applications
`Microsoft Certified Technology Specialist (MCTS) .NET 4 Data Access
`Microsoft Certified Technology Specialist (MCTS) .NET 4 Web Applications
`
`WORK EXPERIENCE
`
`President
`
`Prolifogy Inc.
`Danbury, CT
`
`Jan 2010 - Present
`
`Responsible for providing software consulting services to clients, overseeing all internal product
`development, managing customer relationships and general organizational affairs. Main consulting
`services provided include project leadership, software design and implementation, code and design
`reviews, management consulting, and legal consultation. Responsible for signing off on all major
`technical and business decisions.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 1
`
`

`
`Asst. Adjunct Professor
`
`New York University
`New York, NY
`
`May 2011 - Present
`
`Responsible for teaching a graduate level course in programming languages. Coordinated with
`the course’s recitation leaders, fulfilled curriculum requirements, held office hours, and handled all
`administrative tasks. Responsible for developing cirricula for a graduate level special topics course
`in .NET web development.
`
`Associate
`
`Parsa Wireless Communications, LLC
`Greenwich, CT
`
`Feb 2010 - Present
`
`Responsible for evaluating software-related intellectual property portfolios and providing opinions to
`clients concerning infringement potential, IP value, use in the marketplace, prior art, and invalidity
`concerns. Mapped patent claims to products and standards, developed claim charts, identified
`strengths and weaknesses, and consulted with clients.
`
`Consultant
`
`Microsoft Research Ltd.
`Cambridge, U.K.
`
`Jun 2008 - Jun 2010
`
`Lead designer and developer on an experimental software tool for biological modeling, based on state-
`of-the-art research in formal modeling and Ph.D. dissertation. Interacted regularly with researchers
`and programmers. Designed and fully developed modeling engine core and all logical components.
`Responsible for overseas project management and coordination. Presented novel research contribu-
`tions at conferences.
`
`President
`
`Connecticut Custom Software
`Ridgefield, CT
`
`Jan 1995 - Dec 2009
`
`Responsible for conceptualization, development, implementation, testing, deployment, and mainte-
`nance of custom designed software applications. Project coordinator and lead developer for multiple
`major assignments. Interacted directly with clients and users. Serviced over 100 clients.
`
`Research Assistant
`
`New York University
`New York, NY
`
`2003-2006
`
`Conducted research on the state-of-the-art in software modeling and formal software requirements.
`Studied the usefulness and feasibility of Message Sequence Charts (MSCs), Live Sequence Charts
`(LSCs), and Unified Modeling Language (UML) for stating requirements. Developed methods for
`translating formal requirements enriched with dense and discrete time to timed automata.
`
`Research Intern
`
`Mission Critical Technologies
`NASA Ames Research Center
`Moffett Field, CA
`
`May - Aug 2004
`
`Studied a process for expressing Live Sequence Charts (LSC) requirements as parameterized LTL
`temporal logic formulas. Collaborated with researchers in exploring a translation from LSCs to Petri
`Nets. Tested research results using the Eagle runtime verification tool.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 2
`
`

`
`Teaching Assistant
`
`New York University
`New York, NY
`
`Fall 2002, Fall 2003
`
`Assisted in teaching the Machine Learning and UNIX Tools courses. Prepared homework assign-
`ments, held regular office hours, provided guest lecture, graded homework, exams, and performed
`administrative tasks. Duties involved development, modification, and enhancement of a neural net-
`work written in C, shell scripting, UNIX and Linux system administration, and the evaluation of
`utilities, applications and shell scripts written by students.
`
`Consultant
`
`Boehringer Ingelheim Pharmaceuticals
`Ridgefield, CT
`
`Mar 1996 - Aug 2002
`
`Developed a cross-platform (HP-UX/Windows) application for storing experiment data into a Met-
`rica database and exporting specified data to an Excel spreadsheet on a PC workstation. Con-
`structed an application for remotely monitoring the status of chemical reactions in a scale-up labo-
`ratory. Wrote software in support of an Ultra High Throughput Screening (UHTS) system. Wrote
`applications using Visual Studio .NET 2002 for evaluating the development of browser-based C#
`applications for data mining and drug screening using web services and SOAP. Provided employee
`training on C#, the .NET framework, network, and web-based programming topics.
`
`Specialist
`
`Pepsi Bottling Group
`Somers, NY
`
`Jan 2000 - Jan 2002
`
`Design lead for a selling and delivery software package targeting a Symbol Windows CE handheld
`device. Implemented front-end embedded software using MSVC++ and Embedded Visual C++.
`Implemented back-end software in C and wrote UNIX shell scripts for uploading/downloading sales
`and delivery data between handheld devices and central Sybase databases. Trained employees on
`software modeling technologies, design and coding standards. Interviewed and provided hiring rec-
`ommendations for prospective employees and consultants. Participated in all aspects of the software
`life-cycle.
`
`Teaching/Research Assistant
`
`Rensselaer Polytechnic Institute
`Troy, NY
`
`Sep 1998 - Dec 1999
`
`Graded homeworks, held office hours, and interacted with students for two semesters of the under-
`graduate level programming languages course. Programming projects involving Prolog, ML, LISP,
`and C++. Assisted in developing and debugging a C++ garbage collection tool which utilizes run-
`time stack searches for discovering dangling pointers. Prepared the software for public distribution
`using automake and autoconf.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 3
`
`

`
`LEGAL CONSULTATION
`
`Expert Witness
`
`Freitas Angell & Weinberg LLP
`For B.E. Technology, LLC
`
`May 2014 - Present
`Status: Active
`
`Provided consultation in the Inter Partes Review of U.S. Patent 6,771,290 before the United States
`Patent and Trademark Office.
`
`Expert Witness
`
`Goodwin Procter LLP
`For Cardinal Commerce Corp.
`
`May - Jun 2014
`Status: Closed
`
`Provided consultation in the matter of SecureBuy LLC v. Cardinal Commerce Corporation No.
`1:2013-CV-01792, United States District Court for the District of Delaware.
`
`Expert Witness
`
`Hogan Lovells US LLP
`For Motorola Inc.
`
`Nov 2013 - Present
`Status: Active
`
`Provided consultation in the matter of High Point SARL v. Spring Nextel Corporation, et al. No.
`2:09-CV-2269, United States District Court for the District of Kanses, Kansas City Division.
`
`Expert Witness
`
`The Blanch Law Firm, P.C.
`For Robert Stuart
`
`Aug 2013 - Oct 2013
`Status: Closed
`
`Provided consultation and opinions in the matter of People v. Robert Stuart, Susanne Stuart, Patrick
`Read, and Extension Software, No. 04494-2012, New York Supreme Court.
`
`Expert Witness
`
`Wilson Sonsini Goodrich & Rosati
`For InterDigital Communications Inc.
`
`Jun 2013 - Present
`Status: Closed
`
`Provided consultation in the matters of Certain Wireless Devices with 3G and/or 4G Capabilities
`and Components Thereof, ITC Investigation No. 337-TA-868, InterDigital Communications Inc. et
`al. v. Huawei Technologies Co. Ltd et al., No. 13-cv-00008, U.S. District Court for the District
`of Delaware, InterDigital Communications Inc. et al. v. ZTE Corporation et al. No 13-cv-00009,
`U.S. District Court for the District of Delaware, InterDigital Communications Inc. et al. v. Nokia
`Corporation et al., No. 13-cv-00010, U.S. District Court for the District of Delaware, and InterDigital
`Communications Inc. et al. v. Samsung Electronics Co. Ltd. et al., No. 13-cv-00011, U.S. District
`Court for the District of Delaware.
`
`Expert Witness
`
`Law Offices of Matthew L. Levine, PLLC
`For Nectar Services Corp.
`
`Aug 2012 - Dec 2012
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Nectar Services Corp. et al. v.
`Carousel Industries of North America, Inc., et al.. Case No. 12-CV-5773 (PAC). Southern District
`of New York.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 4
`
`

`
`Expert Witness
`
`Wilmer Cutler Pickering Hale & Dorr LLP Jun 2012 - Sep 2013
`For Airvana Network Solutions Inc.
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Airvana Network Solutions Inc. v.
`Ericsson Inc. and Ericsson AB. Case No. 650360-2012, New York State Civil Supreme Court.
`
`Expert Witness
`
`Whatley Drake & Kallas LLC
`For Apollo Enterprise Solutions, Inc.
`
`Oct 2011 - Mar 2012
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Collections Marketing Center, Inc.
`v. Apollo Enterprise Solutions, Inc. United States District Court for the District of Delaware. Case
`No. 10-CV-01057-BMS.
`
`Expert Witness
`
`Vorys, Sater, Seymour & Pease LLP
`For Snap-On Business Solutions, Inc.
`
`Jun 2011 - Jul 2011
`Status: Closed
`
`Provided consultation, and professional opinions in the matter of Snap-On Business Solutions, Inc.
`v. Hyundai Motor America, et al. United States District Court for the Northern District of Ohio,
`Eastern Division (Akron). Case No. 5:07CV1961.
`
`Expert Witness
`
`Ropes & Gray LLP
`For Motorola Mobility, Inc.
`
`Oct 2010 - Present
`Status: Active
`
`Provided consultation, professional opinions, and testimony in the matter of Motorola Mobility, Inc.
`vs. Microsoft Corporation. United States District Court for the Southern District of Florida. Case
`No. 10-CV-24063-MORENO.
`
`Expert Witness
`
`Ropes & Gray LLP
`For Motorola, Inc.
`
`Jan 2010 - Jun 2010
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Certain Wireless Communication
`System Server Software, Wireless Handheld Devices and Battery Packs. ITC Investigation No. 337-
`TA-706.
`
`Expert Witness
`
`Kirkland & Ellis LLP
`For Motorola, Inc.
`
`Jan 2009 - Apr 2009
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Motorola, Inc. et. al. v. Rembrandt
`Technologies, LP, D. Del. C.A. No. 07-CV-752 and Rembrandt Technologies, LP Patent Litigation,
`D. Del. C.A. No. 07-MD-1848.
`
`Expert Witness
`
`Ropes & Gray LLP
`For Motorola, Inc.
`
`Nov 2008 - Jan 2010
`Status: Closed
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 5
`
`

`
`Provided consultation, professional opinions, and testimony in the matter of Motorola, Inc. v.
`VTech Communications, Inc., et al. Eastern District of Texas, Texarkana Division. Case No. 5:07-
`CV-171-DF-CMC.
`
`Expert Witness
`
`Ropes & Gray LLP
`For LG Electronics Inc.
`
`Mar 2008 - Jun 2008
`Status: Closed
`
`Provided consultation, professional opinions, and testimony in the matter of LG Electronics Inc. v.
`Quanta Computer, Inc. et. al. Western District of Wisconsin. Case No. 07 C 0361.
`
`Expert Witness
`
`Kirkland & Ellis LLP
`For Samsung Tel. America LLP
`
`Jan 2007 - Apr 2007
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Certain Wireless Communication
`Equipment, Articles Therein, and Products Containing the Same. ITC Investigation Nos. 337-TA-
`577 and 337-TA-583.
`
`Expert Witness
`
`Hughes Hubbard & Reed LLP
`For Syncsort Incorporated
`
`Oct 2006 - Dec 2006
`Status: Closed
`
`Provided consultation and professional opinions in the matter of Syncsort Incorporated v. Innovative
`Routines International, Inc., United States District Court for the District of New Jersey, No. 04-
`CV-3623 (WHW).
`
`TESTIMONY
`
`Trial
`
`Oct 2013
`
`People v. Robert Stuart, Susanne Stuart, Patrick Read, and Extension Software, Case no. 04494-
`2012, New York Supreme Court.
`
`Deposition
`
`Mar 2013
`
`Airvana Network Solutions Inc. v. Ericsson Inc. and Ericsson AB. Case No. 650360-2012, New
`York State Civil Supreme Court.
`
`Deposition
`
`Jul 2011
`
`Motorola Mobility, Inc. v. Microsoft Corporation. United States District Court for the Southern
`District of Florida. Case No. 10-CV-24063-MORENO.
`
`Deposition
`
`Nov 2009
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 6
`
`

`
`Motorola, Inc. v. VTech Communications, Inc., et al. Eastern District of Texas, Texarkana Division.
`Case No. 5:07-CV-171-DF-CMC.
`
`Deposition
`
`Jul 2008
`
`LG Electronics Inc. v. Quanta Computer, Inc. et. al. Western District of Wisconsin. Case No. 07
`C 0361.
`
`TECHNICAL BACKGROUND
`• Object-oriented software design, modeling, implementation, algorithm design.
`• Compiler and language design, writing and parsing formal grammars.
`• C, C++, Standard Template Library (STL), Java, C#, Visual Basic, Visual Studio 2008, 2010
`& 2012, Team Foundation Server, .NET development, managed coding, profiling.
`• Understand 2.0, learning and inferring application behaviors from unfamiliar source code.
`• Embedded software development, Embedded Visual C++, Windows ME, assembly languages.
`• Reverse engineering of software products.
`• Network application development, custom protocols, peer-to-peer, client/server.
`• Windows, UNIX/Linux software development and cross-platform development.
`• Database programming and scripting for Sybase, Oracle, Metrica, and Raima.
`• Distributed software development using COM+, CORBA, and web services.
`
`RESEARCH INTERESTS
`• Formal requirements languages, including Live Sequence Charts.
`• Synthesis of executable software from formal requirements.
`• Embedded system design and implementation.
`
`PUBLICATIONS
`
`1. H. Kugler, C. Plock, and A. Roberts. Synthesizing Biological Theories. In Proc. 23rd Inter-
`national Conference on Computer Aided Verification (CAV11), Springer-Verlag, Berlin, 2011.
`
`2. H. Kugler, C. Plock, and A. Pnueli. Controller Synthesis from LSC Requirements. In Proc.
`12th International Conference on Fundamental Approaches to Software Engineering (FASE09),
`LNCS, Springer, Heidelberg, 2009.
`
`3. C. Plock. Synthesizing executable programs from requirements. Ph.D. Thesis. New York
`University, May 2008.
`
`4. H. Kugler, C. Plock, and A. Pnueli. Synthesizing reactive systems from LSC requirements
`using the Play-Engine. In Proc. OOPSLA 2007, ACM, 2007.
`5. C. Plock, B. Goldberg, and L. Zuck. From requirements to specifications. In Proc. 12th Annual
`IEEE Intl. Conference and Workshop on the Engineering of Computer-Based Systems, IEEE
`Computer Society Press, 2005.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 7
`
`

`
`6. C. Plock. Design and development of an object-oriented window functionality library. In Proc.
`3rd Annual CCSC Northeastern Conference, Vol. 13, Num. 5, pp. 221-222, 1998.
`
`HONORS AND AWARDS
`
`Henning Biermann Award, New York University Department of Computer Science.
`Henry M. MacCracken Fellowship, New York University Graduate School of Arts & Science.
`Outstanding Service Award, Pepsi Bottling Group.
`Henry Barnard Distinguished Student Award, Connecticut State Univ. System Foundation.
`Honors in Computer Science, Western Connecticut State University.
`
`PROFESSIONAL AFFILIATIONS
`
`Senior Member, Association of Computing Machinery (ACM).
`Member, Institute of Electrical and Electronics Engineers (IEEE).
`Co-founder & President, Western Connecticut State University Computer Society.
`Chair, Business & Investment Committee, Western Connecticut State University Foundation.
`Member, Western Connecticut State University President’s Club.
`Advisory Board, Team Consumer Intelligence Inc.
`
`B.E. Technology, L.L.C. - Exhibit 2002, Page 8