Tom Carlson

Tom Carlson has extensive work experience in the software engineering field. Tom started their career at IBM Federal Systems Division in 1983, where they served as a Software Engineer, Sim/Stim Programmer, and Sonar Supervisor. Tom then moved on to Compass, Inc. in 1986, where they worked as a Software Engineer and later as a Senior Software Engineer and Designer/Project Leader for the C Compiler. At Compass, they implemented code generation and branch phases of the Fortran 8x compiler and designed/implemented a Fortran 77 code generator. From 1991 to 1994, Tom worked at Digital Equipment Corporation as a Senior Software Engineer and Project Leader for the C Compiler and C++ Compiler projects, where they provided language feature support, implemented debugging support, and coordinated the development of the DECC AlphaVMS compiler. Tom then joined Chrysalis Development in 1996 as a Principal Software Engineer, where they designed and implemented the Builder phase of the Chrysalis Formal Verification Engine. Tom also worked at Avanti Corporation from 2000 to 2002 as a Principal Software Engineer, where they co-implemented the Orion Verilog front-end and maintained the Builder phase of the Chrysalis Formal Verification Engine. Most recently, Tom has been working at Synopsys from 2002 to the present as a Senior Software Engineer, responsible for implementing language features and designing/implementing compilers. Overall, Tom has a strong background in software engineering, with expertise in compiler development and formal verification.

Tom Carlson attended Keene State College from 1976 to 1977, but did not receive a degree or study a specific field during that time. Tom later pursued a Bachelor of Science (BS) in Computer Science at the University of Rhode Island from 1978 to 1983.