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 techniques to help programmers
create correct, reliable, and secure software. His research interests
span static program analysis (both source-code analysis and
machine-code analysis), program verification, computer security,
software engineering, incremental computing, and program-development
environments. In addition to being President of GrammaTech, Tom is
the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the
Computer Sciences Department at the University of Wisconsin, where he
has been on the faculty since 1985.
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. In 2017, he received
the ACM SIGPLAN Programming Languages Achievement Award.
Tom received an A.B. in Applied Mathematics from Harvard, and M.S and
Ph.D. degrees 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.
