Dr. Xudong He
      Professor 
      School of Computing and Information Sciences
      Florida International University
      Miami, FL 33199, U.S.A.
      Tel. 305-348-1831
      Email: hex@cis.fiu.edu
	  

Curriculum Vita

Research

• Publications

• Grants

• Advisees

• Tools

Teaching

• CEN4010 - Software Engineering I, Fall 2007

• CEN6075 - Software Specification, Spring 2008

• CEN6070 - Software Verification, Fall 2008

• CEN6075 - Software Specification, Fall 2009

• CEN6070 - Software Verification, Spring 2010

• COT6421 - Theory of Computation II, Fall 2010

• CEN6075 - Software Specification, Spring 2011

• COP6556 - Formal Semantics of Programming Languages, Spring 2011

• COP4555 - Principles of Programming Languages, Fall 2011

• COP4555 - Principles of Programming Languages, Spring 2012

• CEN6070 - Software Verification, Spring 2012

• CEN5011 - Advanced Software Engineering, Fall 2012

• CEN4021 - Software Engineering II, Spring 2013

• CEN5011 - Advanced Software Engineering, Fall 2013

• CEN5087 - Software and Data Modeling, Fall 2013

• CEN5087 - Software and Data Modeling, Spring 2014

• CEN6075 - Software Specification, Spring 2014

Service

• 2023

• 2022

• 2021

• 2020

• 2019

• 2018

• 2017

• 2016

• 2015

• 2014

• 2013

• 2012

• 2011

• 2010

• 2009

• 2008

• 2007

• 2006

• 2005

Honors and Awards