mankit leung     student Username: mkl13

Bio:   I am a graduate student in the Ptolemy group, currently working with Prof. Edward A. Lee. My focus is on embedded software generation and model analysis.