I'm currently a Senior Engineer at The Mathworks in Natick, MA, working on innovative system-level design and simulation technologies. 

I received my Ph.D. in Computer Engineering at Northeastern University, MA in 2014, under the supervision of Prof. Gunar Schirner as a member of the ESL group. My dissertation, Integrating Algorithm-Level Design And System-Level Design Through Specification Synthesis, is focused on the specification and optimization of embedded system design methodologies. I received my B.E. in Electrical Engineering from XUPT, China in 2007. 

I have worked at several companies including The MathWorks, EMC, and Sony Mobile, where I involved in distributed systems software development, model-based design, and hardware/software codesign. 

I'm the author of the algorithm-to-specification synthesizer: Algo2Spec.

Jiaxing Zhang
jxzhang [at] ece.neu.edu

The MathWorks, Inc.
3 Apple Hill Drive,
Natick, MA, 01760-2098