Dr. Yu Huang

Associate professor

Department of Computer Science and Technology, Nanjing University 

Postal address:
163 Xianlin Street, Qixia District, Nanjing, Jiangsu Province, China, 210046

 
Phone: 86-25-89686021
Fax: 86-25-83593283
Email:

Short biography

In Jul. 2, 2007, I joined the State Key Laboratory for Novel Software Technology, Nanjing University. I am a faculty member of the Institute of Computer Software and the Dept. of Computer Science and Technology, Nanjing University.

I got my Ph.D. in computer science from the University of Science and Technology of China (USTC) in Jun. 2007. My supervisor is Prof. Yulin Feng. I got my bachelor's degree in computer science from USTC in Jun. 2002. Before entering USTC, I studied in the Suzhou Middle School, Suzhou China, from Sep.1995 to Jun.1997.

I studied in the Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences (TCSE, ISCAS), as a co-educated Ph.D. student of both USTC and TCSE ISCAS from Sep. 2003 to Jul. 2007. From Sep. 2005 to Sep. 2006, I studied in the Department of Computing, Hong Kong Polytechnic University, as a visiting student.

Full C.V. (pdf)

Research interests

  • Theory of distributed computing
  • Formal specification and verification
  • Mobile and pervasive computing
To potential students

In general, I am recruiting well motivated and dedicated Ph.D. / master students to do research in above-mentioned areas. Undergraduate students are also encouraged to contact me, to work on related topics.

Specifically, the following Ph.D. / master student positions are open:

  1. Applying the Predicate Detection (or Runtime Verification) techniques, to building LEGO cars, which are "intelligently" adaptable to their environments.
  2. Building a shared memory "illusion" among multiple heterogenous personal digital devices (e.g., android phones, iPads).
  3. Building a platform for fast prototyping of distributed algorithms, based on discrete-event simulation.

Selected publications

  1. Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
    Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context
    In proc. of the International Conference on Pervasive Computing and Communications (PerCom), Mar. 2012 (full paper acceptance ratio: 16 out of 150, 11%).

  2. Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, Jian Lu
    Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
    IEEE Transactions on Parallel and Distributed Systems, 23(4): 744-750, Apr. 2012.

  3. Yu Huang, Jiannong Cao, Beihong Jin, Xianping Tao, Jian Lu, Yulin Feng
    Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks
    IEEE Transactions on Parallel and Distributed Systems, 21(8):1150-1161, Aug. 2010.

Invited talks

  1. Understanding the Pervasive Computing Environment - a Property Detection Perspective
    Young Scholar Forum of State Key Labotratory for Novel Software Technology, Nanjing University, June 11, 2010.

Group members

  • Current members
    • Yuan Lu (Master student Sep. 2010 ~ present)
    • Chao Fang (Master student, Sep. 2010 ~ present)
    • Tingting Hua (Master student, Sep. 2009 ~ present)
    • Hengfeng Wei (Phd student, Sep. 2010 ~ present)
    • Yiling Yang (PhD student, Sep. 2009 ~ present)
  • Alumni

Research projects

Awards and Recognition

  • First Class Award for Techniques and Inventions, Ministry of Education of China, as the 9th team member of the project "Key Techniques, Platforms and Applications of Internetware".

Professional activities

Links

PageRank

Last updated: Apr. 03, 2012.