About
I have twenty two (22) years of industry and consulting experience in software the software industry, with roles including software developer, researcher, consultant, team lead, project manager, and software executive. I currently work as a software technology strategist and advisor, subject matter expert for IP valuation and patent prosecution, expert witness, code review expert, Adjunct Associate Professor at New York University. I was also an Advisory Committee Representative for Prolifogy Inc. on the World Wide Web Consortium (W3C) Web Applications working group.
Past clients include Huawei, Microsoft Research Ltd., PepsiCo, ITW, Motorola Mobility, Samsung, LG Electronics, Apple, and others. Industries served include hospitality, health care, automotive, food & beverage, R&D, mobile/wireless, software development, and consumer electronics, networking.
Specialties/research interests: software engineering, software design and modeling, programming languages.
Work history
New York University, Adjunct Associate Professor
Primary instructor for several graduate level sections of Programming Languages and .NET Web Application Development
Parsa Wireless Communications, Associate
Prolifogy Inc., President
Responsible for overseeing all consulting services and internal product development, managing customer relationships and conducting and overseeing administrative organizational affairs. Subject matter expert. Currently serving as the W3C Advisory Committee Representative in the Web Applications working group.
Microsoft Research Ltd., U.K., Consultant
Implemented the core decision engine for an experimental software application (Synthesizing Biological Theories) used for modeling biological systems with the scenario-based LSCs language. Conducted original research, co-authored research papers, wrote C# software, and was responsible for the overall software design and architecture.
Mission Critical Technologies, NASA Ames Research Center, Intern
Worked in the NASA Automated Software Engineering Group in Moffett Field, CA. Studied formal requirements languages and use of such requirements for runtime verification.
New York University, Teaching/Research Assistant
Teaching assistant for Machine Learning & UNIX Tools courses. Performed grading tasks, prepared homeworks, held regular office hours, and gave a guest lecture. Conducted research on the topic of a seamless translation from software requirements to executable code.
Boehringer Ingelheim, Intern/Consultant
Held various summer positions between the dates shown above. Designed and implemented software tools to support scientific research. Provided training to the IT staff on software development methodologies and technologies.
PepsiCo, Senior Analyst
Software design lead for the Next Generation Handheld project on the Handheld Team. Supported legacy handheld applications. Provided staff training in software design methodologies for NextGen.
Rensselaer Polytechnic Institute, Teaching/Research Assistant
Participated in grading and holding office hours for an undergraduate level Programming Languages course. Automated the build of a distributable garbage collection tool used for research purposes.
Education and qualifications
New York University Ph.D., Computer Science
Rensselaer Polytechnic Institute M.S., Computer Science
Western Connecticut State University B.A., Computer Science
Publications
H. Kugler, C. Plock, and A. Roberts. Synthesizing Biological Theories. In Proc. 23rd International Conference on Computer Aided Verification} (CAV11), Springer-Verlag, Berlin, 2011.
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.
C. Plock. Synthesizing executable programs from requirements. Ph.D. Thesis. New York University, May 2008.
H. Kugler, C. Plock, and A. Pnueli. Synthesizing reactive systems from LSC requirements using the Play-Engine. In \emph{Proc. OOPSLA 2007}, ACM, 2007.
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.
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.
