Fan Yang

I am a PHD student in the Language-Based Technology group at Informatics and Mathematical Modelling at the Technical University of Denmark, the place that I also finished my master education.

Before I came to study at Denmark,  I received my bachelor degree in  computer science from the Xi'an Jiaotong University in China.

CONTACT INFORMATION

　

Telephone (+45) 45253734

E-mail       fy@imm.dtu.dk

Address    Richard Petersens Plads

               Building 322, Room 115

               DK-2800 Kongens Lyngby

RESEARCH INTERESTS

  • Program Analysis
  • Information Security
  • Process Algebras and Programming language
    •
  • Aspect-Oriented Software Development

PROJECT

 

PUBLICATIONS

  • Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson.

    Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

    In Proceedings of  the 13th International Conference on Coordination Models and Languages (COORDINATION '11), LNCS 6721, pp. 202-218. Reykjavik, Iceland , June, 2011. [pdf]

  • Fan Yang.

    Aspects with Program Analysis for Security Policies.

    PhD thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2010 [pdf]

  • Aspect-oriented Access Control of Tuple Spaces.

    Submitted to a journal

  • Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, Hanne Riis Nielson.

    AspectKE*:Security aspects with program analysis for distributed systems.

    In Demonstration track of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10), Rennes and Saint Malo, France, March 2010.

  • Fan Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson, Hanne Riis Nielson.

    AspectKE*:Security aspects with program analysis for distributed systems.

    In Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'10),  Universität Potsdam, Hasso-Plattner-Institut für Softwaresystemtechnik. Rennes, France, March 2010 [pdf]

  • Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang.

    Advice for Coordination.

    In Proceedings of  the 10th International Conference on Coordination Models and Languages (COORDINATION '08), LNCS 5052, pp. 153-168. Oslo, Norway, June 2008. [pdf]

  • Fan Yang, Hanne Riis Nielson.

    Analyzing the Control Structure of PEPA.

    Poster, The 14th International Static Analysis Symposium (SAS 2007), Lyngby, Denmark, August 2007.

  • Fan Yang.

    Static Analysis of Stochastic Process Algebras.

    Master thesis, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, 2007 [pdf]