Introducing CodeSentry | Binary Software Composition Analysis Learn More
Management Team
Meet our executive team of software scientists and business leaders.
Mark Hermeling
Senior Director of Worldwide Sales
Mark Hermeling, MSc Mark has close to 20 years of experience in software development tooling, operating systems, virtualization and networking technology in safe and secure, embedded and real-time systems. He has worked on projects building automotive, networking, aerospace and defense and industrial devices in North America, Europe and Asia.
Mark joined GrammaTech in 2017 as Senior Director of Worldwide Sales, directing GrammaTech’s commercial software product and business development efforts. Prior to joining GrammaTech Mark worked for Wind River Systems (an Intel Corporation subsidiary), Zeligsoft and IBM Rational.
He received a Master of Science degree in Computing Science from Eindhoven University of Technology for research into timing constraints overlaid on object oriented languages.
Jason Spezzano
Senior Director of Cybersecurity
Jason joined GrammaTech in March of 2020, bringing over 24 years of experience within Federal and Defense markets to his current position.
Before joining GrammaTech, Jason was the Vice President of Federal Services with CyberDefenses, Inc. There he provided cyber operations, cybersecurity engineering and integration services to the DoD community. Specialties include Cyber Operations, Compliance & Risk Management.
Jason has broad base of experience from managing profit and loss, new business growth, and delivery operations in support of National Security Missions.
Jason is a former Marine Corps Officer (Active Duty & Reserves), and will be a key contributor to assist in the continued success of our Research Team.
Jason holds an MS in Management Information Systems from Florida Institute of Technology and a BA in Philosophy from George Mason University. He currently resides in Haymarket, Virginia.
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 is currently a member of the CWE/CAPEC Board comprised of representatives from commercial hardware and software vendors, academia, government departments and agencies, and other prominent security experts that will help set and promote the goals and objectives of the Common Weakness Enumeration (CWE™)/Common Attack Pattern Enumeration and Classification (CAPEC™) Program.
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.
Andrew Meyer
CMO
Andrew is the leader of GrammaTech's marketing team and efforts.
Prior to joining GrammaTech, Meyer led numerous software companies as CEO following an extensive career in B2B Marketing at Websense, Financial Fitness Group, MSC Software, Worksoft, and more. He brings with him a wealth of knowledge and experience in product launches and market expansions, principally in the Application Security and B2B software spaces.
Meyer started his career with Cisco as a Product Line Director after earning a degree in Mechanical Engineering from Georgia Institute of Technology. He is also an MBA graduate of the University of New Orleans.
Mary McIlvennie
Director of HR
Mary is the leader of GrammaTech's Human Resources team.
Mary has worked for GrammaTech and holds a degree from SUNY Oswego. She lives in Ithaca, NY with her family.
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.
Board of Directors
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.
Scott Snow
Chairman of the Board
Scott serves as Chairman of the Board of GrammaTech and is a Managing Partner of Five Points Capital and member Five Points’ Board of Directors and Investment Committee. Five Points Capital is a partnership-focused private equity investor dedicated to bringing patient capital to support the unique needs of business owners and management teams in the U.S. lower-middle market.
Prior to joining Five Points Capital, Scott was an investment banker in the Media and Communications Corporate Finance Coverage group at Wachovia Securities (now Wells Fargo Securities), where he provided leveraged and equity capital raising and merger and acquisition advisory services to both public and private companies. Prior to Wachovia Securities, he worked for GE Capital and GE Plastics in various corporate finance and business development capacities.
Scott received his MBA from Harvard Business School and a BS in Business Administration with a concentration in Finance from Brigham Young University.
Marshal White
Marshall serves as a Director of GrammaTech and is a Managing Partner of Five Points Capital and member Five Points’ Board of Directors and Investment Committee. Five Points Capital is a partnership-focused private equity investor dedicated to bringing patient capital to support the unique needs of business owners and management teams in the U.S. lower-middle market.
Prior to joining Five Points Capital in 2014, Marshall worked for American Capital, formerly a publicly traded $4.4 billion business development company, in its Dallas office. During his nine-year tenure at American Capital, Marshall focused on originating and structuring middle market equity and debt investments while working closely with the firm’s portfolio companies. Prior to joining American Capital, Marshall worked in New York for J.P. Morgan, focusing on M&A and financings for large cap, diversified industrial companies.
Outside of work, Marshall enjoys spending time with his family and following various sports interests.
Marshall received an BS in Finance and Accounting from Georgetown University.
James Vandervelden
James is Managing Partner and Co-Founder of Pleasant Bay Capital Partners (“PBCP”) and has over 25 years of private equity experience. In 2012, James teamed up with Covington Associates to form PBCP, a private equity firm focused on working with family offices, high net worth individuals and institutional investors in the acquisition, growth, and recapitalization of lower middle market companies.
Prior to Pleasant Bay Capital Partners, James was a Co-Founder and General Partner of Ticonderoga Capital Inc., an investment firm that managed three funds with total committed capital of over $250 Million. As a General Partner, he focused on equity and subordinated debt investments in healthcare, business services, and software companies. Throughout his career, James has been an active Board member in many companies and has assisted portfolio companies in management recruitment, strategic and operational issues, raising equity and debt financings, identification and due diligence on acquisition targets, and sale/merger/IPO discussions.
Prior to Ticonderoga, James worked at Dillon Read & Co.’s venture capital group making growth equity investments for its fund. He worked previously with TA Associates where he focused on management buyouts, recapitalizations, and minority growth capital investments of lower middle market technology and service-related businesses. Prior to TA Associates, he was employed by APM Inc., where he specialized in strategic and operational consulting to hospitals and managed care companies.
James received a B.A. in Economics and Organizational Behavior & Management, with Honors, from Brown University.
Mike Armistead
Armistead is an industry veteran with three decades of leadership experience in the security, application development and consumer internet arenas. He co-founded Respond Software in 2016 and leads the company as its CEO. Previously, Armistead co-founded Fortify Software in 2003 and acted as VP & general manager for both Fortify and ArcSight business groups after the companies were acquired by HP in 2011. Prior to Fortify, Armistead held executive and key product positions at companies that include Pure Atria (IBM Rational) and Lycos.
Over his career, Armistead has led groups in all aspects of the organization, including marketing, development, operations and sales. His experience has spanned from managing large enterprises (+$350M revenues) to multiple start-ups in numerous industries.
Tom Reps
Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the Computer Sciences Department of the University of Wisconsin, which he joined in 1985. Reps is the author or co-author of four books and more than two hundred papers describing his research (see http://www.cs.wisc.edu/~reps/). His work has concerned a wide variety of topics, including program slicing, dataflow analysis, pointer analysis, model checking, computer security, code instrumentation, language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.
Professor Reps received his Ph.D. in Computer Science from Cornell University in 1982. His Ph.D. dissertation won the 1983 ACM Doctoral Dissertation Award. Click here for a summary of Reps's current research activities, here for a summary of his past research achievements, and here for his C.V.