Meet our executive team of software scientists and business leaders.
Derek Burrows
COO & General Counsel
Derek serves as both COO and General Counsel for GrammaTech. Derek is heavily involved in all aspects of day-to-day and business operations at GrammaTech, as well as manages all legal functions.
Derek received his undergraduate degree from Cornell University, B.S. in Engineering. He received his J.D. from The Columbus School of Law, Catholic University of America. Before joining GrammaTech, Derek worked as a litigation attorney at the law firm of Dycio & Biggs in Fairfax, Virginia. He currently lives in Ithaca, NY.
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.
Mike Dager
Chief Executive Officer
Mike brings more than two decades of experience in senior-level management positions at leading technology companies. Prior to joining GrammaTech, Mike held numerous successful leadership positions including CEO of Bayshore Networks, Arxan Technologies, a company in the Application Security space, CEO and Chairman of the Board of Worksoft, President and CEO of OSE Systems Inc., and held multiple senior sales management positions at Pure Software. Mike began his career at Texas Instruments in the semiconductor division.
Mike holds a BSEE degree from the University of Michigan. Mike is on the board of the University of Michigan Engineering School, and has been since 2007.
David Melski
Chief Technology Officer
Dave has been a part of GrammaTech’s Research team since June 2002.
Dave 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. Dave's work in static analysis and interprocedural path-profiling techniques has been featured in numerous articles and conferences.
Prior to joining GrammaTech, Dave 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. Dave 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 oversees all aspects of the operation of GrammaTech’s Research Division, including technical leadership of contract execution, decision-making and review of proposal generation, as well as steering of the Division’s recruiting and financial steps.
Alexey's research work at GrammaTech has focused on binary analysis technologies, including both formal and heuristic techniques. A key contribution of his work was the addition of Binary Analysis capabilities within CodeSonar.
Alexey graduated with Highest and Special Honors from the University of Texas with 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. Alexey'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, Alexey worked at Hewlett-Packard and the IBM T.J. Watson Research Center. He currently lives in Ithaca.
Vince Arneja
Chief Product Officer
Vince Arneja brings over 20 years of experience in executive and senior level technical product management positions with the last 17 years focused on product strategy and management in the domains of application, cloud, mobile, endpoint and network security. Vince has a very successful track record, both in being part of a private company that went public and working for five private companies that were ultimately acquired.
Vince’s responsibilities include leading product strategy, defining corporate product roadmaps, pricing and positioning. Previously, he was at 5nine, OPAQ and Arxan where he lead the Product function for almost 9 years which resulted a nine figure exit to TA Associates. Prior to Arxan, he was at Sigaba, a leading email encryption provider acquired by Proofpoint, where he was an executive leading Government and Commercial Product Management.
Vince also serves as an advisor to various Cyber Security companies in the DC Metro Area and the Bay Area. He started his career as a software developer and was part of an IPO after working towards a degree in CIS. He is also a graduate of various Executive Management Programs at University of California, Berkeley.