… Full prof, ex-nurse,rocketman,taxi-driver,journalist (it all made sense at the time). …

… programming language techniques to meet challenges from all areas of computer science. …

… is a future of verification that is accessible to all programmers, not just to experts. I …

… services which supports all Microsoft online services including Microsoft Azure …

… , diagnose, and fix bugs for all kinds of software systems.

Outside of work, I …

… , China, in 2007 and 2004 respectively, all in Information Management …

… collaborating with multiple researchers all around the world in three research …

… , and human-friendly techniques and tools that provide automatic support for all stages …

… former doctoral students have been placed all over the world as academics (Peking …