Meet our executive team of software scientists and business leaders.
Dr. Tim Teitelbaum
Chairman, CEO, and Co-Founder
Tim brings over 40 years of experience in software design and analysis to the technology space. A co-founder of GrammaTech, Tim has led the company since its inception in 1988.
Tim was a faculty member of the Computer Science Department at Cornell University from 1973 until his retirement in 2010. In 1978, he (along with GrammaTech co-founder Thomas Reps) created the Cornell Program Synthesizer, one of the seminal systems that established the viability of integrated language-based programming environments (IDEs).
Tim received his Mathematics BS from MIT and his PhD in Computer Science from Carnegie-Mellon University.
Dr. Thomas Reps
President and Co-Founder
Tom is well-known for his work on static-analysis algorithms, including the invention of the attribute-grammar paradigm for incremental static-semantic analysis. In addition to being President of GrammaTech, Tom has been an active University of Wisconsin professor in the Computer Sciences Department since 1985.
Tom is an active public speaker, presenting multiple talks in the field of computer science each year, in addition to working closely with GrammaTech Research to advance innovations of static analysis of machine code. Reps has received numerous awards for his work, including the ACM Doctoral Dissertation Award, an NSF Presidential Young Investigator Award, a Packard Fellowship, a Humboldt Research Award, and a Guggenheim Fellowship. He is also an ACM Fellow.
Tom received his BA in Mathematics from Harvard and his PhD in Computer Science from Cornell University. Tom lives in Madison, Wisconsin.
David Hauck
VP of Sales and Marketing
David Hauck began his career in the software industry at the U.S. Air Force, as officer in information and communication systems, ultimately running the computer operations for a major flight research program. He has worked as a senior software engineer, technical representative, and account executive for major software companies such as SAIC, Borland, IBM, and Rational Software. He has also led teams in technical marketing and product management for WindRiver and Polycom. Dave has a B.S. in Computer Science from Slippery Rock University. He lives in Colorado with his wife and has four children.
Krisztina Nagy
CFO
Krisztina brings significant financial expertise to GrammaTech. Before joining GrammaTech, she was a CPA at KPMG.
Krisztina received her M.S. in Computer Engineering from the Technical University of Cluj-Napoca in Romania and her MBA from University of Economic Sciences in Budapest, Hungary.
She lives in Ithaca, NY.
Paul Anderson
VP of Engineering
Paul is the leader of GrammaTech's product engineering team.
Paul has worked for GrammaTech for 24 years. He started as a software engineer working on language-sensitive editor technology, before leading the conception and development of both CodeSurfer and CodeSonar. During that time, Paul conducted research into a variety of software engineering tools and techniques, including program understanding and software visualization.
Prior to joining GrammaTech, Paul was a lecturer at City University in London, England. He retains connections to the academic world as a member of the program committees for several software engineering research conferences.
Paul has a PhD in computer science from City University, and a BSc from King's College, University of London. He lives in Ithaca with his wife and two children.
David Melski
Chief Technology Officer
Dr. Melski has been a part of GrammaTech’s Research team since June, 2002 and has led GrammaTech Research since 2004.
Dr. Melski graduated summa cum laude from the University of Wisconsin with a B.S. in Computer Sciences and Russian Studies. He also received his Ph.D. in Computer Sciences from the University of Wisconsin. Dr. Melski's work in static analysis and interprocedural path-profiling techniques has been featured in numerous articles and conferences.
Prior to joining GrammaTech, Dr. Melski worked as a research assistant at the University of Wisconsin-Madison. While at GrammaTech, he has overseen a greater-than-seven-fold increase in sponsored projects funded by DOD, IARPA, DHS, NSF, NASA, and NIST. He has worked on static and dynamic vulnerability detection, symbolic and concolic execution, survivability under attack, program hardening by means of confinement and diversification, binary rewriting, and semantics-preserving transformations. Dr. Melski has held the role of principal investigator on many of GrammaTech’s projects, and he is a co-author of Analysis Techniques for Information Security, published by Morgan & Claypool Publishers.
He currently resides in Ithaca.
Mark Zarins
VP of Sales
Mark Zarins has over 10 years of management experience in software sales and marketing. He was part of the team that defined, created, and launched CodeSonar. Before joining GrammaTech, he worked in professional services at Wind River Systems.
Mark has a B.A. in Physics from Pomona College, and an MBA and M.Eng. in Computer Science from Cornell University. He lives in Davis, California.
David Cok
VP of Technology
Dr. Cok's research in software analysis focuses on software verification, with an emphasis on practical application to industrial software development.
Cok has been at the company for 6 years. Prior to joining GrammaTech, Dr. Cok spent 27 years in research at Eastman Kodak Company, as a senior technical contributor, lab and division leader, and leader of product development groups.
Dr. Cok earned an A.M. and Ph.D. in Physics from Harvard University, and graduated with honors from Calvin College with A.B. degrees in Physics and Mathematics.
Alexey Loginov
VP of Research
Alexey leads GrammaTech's research on binary analysis technologies, and has been instrumental in the addition of Binary Analysis capabilities within CodeSonar.
Dr. Loginov graduated with Highest Honors from the University of Texas with a B.A. in Mathematics and B.Sc. in Computer Sciences. He received his M.Sc. and Ph.D. in Computer Sciences from the University of Wisconsin. Dr. Loginov’s thesis exposed a new connection between Machine Learning and program analysis; his work has been presented in a number of journal and conference publications.
Before joining GrammaTech, Dr. Loginov worked at Hewlett-Packard and the IBM T.J. Watson Research Center. He currently lives in Ithaca.
Michael McDougall
Associate VP of Autonomic Technologies
Michael leads GrammaTech's research on advanced technologies that enable systems to monitor their health and automatically protect themselves when under cyber-attack.
Michael joined GrammaTech in February 2005, after completing a PhD in Computer and Information Science at the University of Pennsylvania. Since joining GrammaTech, he has led multiple research projects on helping engineers develop safe and secure software. His work includes a static analysis tool for safety-critical systems, a visualization tool for complex software, and a suite of tools for ensuring system resilience in the face of attacks. He has also contributed to the development of CodeSonar.
In his graduate work, Michael focused on the application of formal methods to software engineering and security. For his thesis, he developed a system for resolving security policy conflicts in payment cards.
Before beginning his PhD, Michael was a software engineer at Corporate Software and Technologies, which has since been acquired by Oracle. He received a joint BS in Mathematics and Computer Science from McGill University.