Fei Niu 's homepage

Last modified: Nov. 24 2009

Introduction

My name is Fei Niu, and I am a graduate student at CSC, KTH. Currently, I am interested in learning-based testing for numerical computing software and embedded control system.

My advisor is Karl Meinke.


E-mail: niu-[at]-csc.kth.se (please replace -[at]- with @)
Phone: +46 (0)8 790 8408
Cellular: +46 (0)72 2000 776
Address: Nada, CSC, KTH, Stockholm 100 44, Sweden
Office: Room 1431, 4th floor, Osquars Backe 2

Courses taken in KTH


  • MF2008 Embedded Control Systems
  • FDD3001, DD3001: Research - Theory, Method, Practice (2009 Autumn)
  • 2D5377 Algebras + Coalgebras = Data Types + Systems (2009 Autumn)
  • DD2452 Formal Methods (2009)
  • DD2431 Machine Learning (2008)
  • DD2454 Semantics for Programming Languages (2008)

    • Publications


  • Authentication and Monitoring of User Identities Based on Mouse Dynamics, published in Journal of Xi'an Jiaotong Univ.

    • Projects


  • HATs, the new EU funded research project.

    • Education


  • 2001-2008 Bachelor and master degrees from Xi'an Jiaotong University, China.

    • Organization involvment


  • COST Action IC0701 Winter School on Verification of OO Programs


    • Conferences in Software Testing


  • ISSTA - ACM Int. Symposium on Software Testing and Analysis - ISSTA 2010
  • ICST - International Conference on Software Testing, Verification, and Validation - ICST 2010
  • More...


    • Links


  • Parallel Python

    • My Calendar