Tian Zhang / 張天

My LinkedIn

May 2016 - Present: Biomedical Engineer at Mariner Endosurgery.
Leading software developer of LaparoGuard.

Jan 2016 - Apr 2016: Biomedical Engineer at Mariner Endosurgery.
Software developer of LaparoGuard.

Jun 2015 - Dec 2015: Research Assistant at NameMcMaster University.
Worked with Lumasonix Inc. on software of its photoacoustic tomography system.

Oct 2013 - May 2015: Postdoctoral Fellow at IBM Canada Ltd.
Worked on SOSCIP project "Design Patterns for Heterogeneous Computing". Implemented parallel design pattern libraries for FPGA computing in both Lime and SYCL, and formally verified the patterns in proof assistant Isabelle. Developed a compiler of a prototype language that enhances OpenCL for implementing parallel design patterns targeting FPGA.
Supervisor: Dr. Emil Sekerinski
Department of Computing and Software
McMaster University, Hamilton, Ontario, Canada

• E-mail: zhangt26 A@T univmail.cis.mcmaster D.O.T ca
  
• Address:
  ITB 206, McMaster University
  1280 Main Street West
  Hamilton, Ontario, Canada
  L8S 4K1
  
• Tel: 905-525-9140 ext. 23133
  

Formal specification & verification, programming methodology, compiler, logics

• Jan 2009 - Sep 2013: Ph.D. in Computer Science, McMaster University, Hamilton, Ontario, Canada
  Thesis: A Unifying Theory of Multi-Exit Programs
  Supervisor: Dr. Emil Sekerinski
  
• Aug 2 - Aug 14, 2011: student in Summer School Marktoberdorf 2011 on "Tools for Analysis and Verification of Software Safety and Security", Bayrischzell, Bavaria, Germany
  
• Sep 2005 - May 2008: M. Eng. in Computer Software and Theory, Central South University, Changsha, Hunan, China
  Thesis: Research on Ontology Mapping Amendment Algorithm and Measures of Ontology Mapping
  Supervisor: Dr. Dezhi Xu
  
• Sep 2001 - Jun 2005: B. Eng. in Computer Science and Technology, Central South University, Changsha, Hunan, China
  Thesis: Research on Page Ranking Algorithms of Search Engines
  Thesis Advisor: Dr. Dezhi Xu
  

• Emil Sekerinski, Tian Zhang, Finitary Fairness in Action Systems, 10th International Colloquium on Theoretical Aspects of Computing (ICTAC), 2013.
  
• Emil Sekerinski, Tian Zhang, On a New Notion of Partial Refinement, 16th BCS FACS Refinement Workshop, 2013.
  
• Emil Sekerinski, Tian Zhang, Verification Rules for Exception Handling in Eiffel, Formal Methods: Foundations And Applications, Lecture Notes in Computer Science, 2012, Volume 7498/2012, 179-193. Awarded the first best paper in 15th Brazilian Symposium on Formal Methods (SBMF).
  
• Emil Sekerinski, Tian Zhang, A New Notion of Partial Correctness for Exception Handling, 2nd International Workshop on Logical Aspects of Fault-Tolerance (LAFT), 2011, 116-132.
  
• Emil Sekerinski, Tian Zhang, Modelling Finitary Fairness in Event-B (Extended Abstract), Dagstuhl Seminar 09381 on Refinement Based Methods for the Construction of Dependable Systems, 2009, 152-156.
  
• Tian Zhang, Dezhi Xu, Jianer Chen, Application-Oriented Purely Semantic Precision and Recall for Ontology Mapping Evaluation, Knowledge-Based Systems, Volume 21, Issue 8, Dec 2008, 794-799.
  
• Zhiwei Zhang, Dezhi Xu, Tian Zhang, Ontology Mapping Based on Conditional Information Quantity, in Proceedings of 5th IEEE International Conference on Networking, Sensing and Control (ICNSC), 2008, 587-591.
  

• 2011: International Excellence Awards by McMaster University School of Graduate Studies
  
• 2011: Grant provided by Summer School Marktoberdorf 2011 on "Tools for Analysis and Verification of Software Safety and Security", Bayrischzell, Bavaria, Germany
  

• 2012 / 2013 Fall: COMP SCI / SFTW ENG 2S03, Principles of Programming, by Dr. Ridha Khedri
  
• 2011 / 2012 Winter: CAS 703, Software Design, by Dr. Emil Sekerinski
  
• 2011 / 2012 Winter: COMP SCI 4TB3 / 6TB3, Syntax-Based Tools and Compilers, by Dr. Emil Sekerinski
  
• 2010 / 2011 Fall: COMP SCI 1MA3, Computer Based Problem Solving, by Dr. Emil Sekerinski
  
• 2009 / 2010 Fall: COMP SCI 1MA3, Computer Based Problem Solving, by Dr. Emil Sekerinski
  

Zen, kung fu