OXFORD UNIVERSITY COMPUTING LABORATORY

Chen-Wei Wang

Personal photo - Chen-Wei Wang

Mr Chen-Wei Wang

Doctoral Student
Student, Kellogg College

interests

- Obect-Oiented Software Construction

- Model-Driven Architecture

- Concurrent Computing

- Database (Relational, Object-Relational, Object-Oriented)

biography

I was born in Taipei, Taiwan. I immigrated to Toronto, Canada with my parents since I was seventeen in year 2001, after graduating from the high school. My dad had been in a British shipping company, and my mom had been a high-school English teacher. Both of them have retired and lived in Toronto. I have one elder brother who studied his master and doctoral in international law in American University in Washington D.C., with the last year being a visiting scholar at Harvard Law School. He is currently an assistant professor at the law school of Chinese Culture University in Taipei.

From year 2001 to 2006, I studied my first degree in computer science, with specialized honour, at York University. During the last year of my study at York from 2005 - 2006, I was supervised by Professor Jonathan Ostroff and got involved as a research assistant in the project "Automated model-based verification of object-oriented code".

Graduated with Suma Cumlaude from York, I have continued my study as a DPhil student at the Oxford University Computing Laboratory since Michaelmas 2006. Currently I am supervised by Professor Jim Davies and get involved in an on-going project called Booster, an object-oriented and declarative specification notation targeting for automatic generation of working system. My thesis is aimed at researching on the concurrent aspect of Booster and how an object source model can be transformed into a relational target one, with all intended semantics (association and behaviour) preserved.

Besides a passion of doing research and teaching, I try exercising (swimming + running) whenever I can, ideally four to five days a week. I adore watching movies (both Hollywood and Hong-Kong) and listening to music (classic, Taiwanese pop, and English oldies). Several of my favorite films are the Back to the Future trilogy, Good Will Hunting, and Jerry Maguire. I have joined the Oxford Speakers club since November 2006 and is currently the Vice President Education of the Isis Speakers club, where I have gradually learned how to stand in front of crowds and give a speech with confidence. My favourite activities in Oxford have not been pub, but to attend classic music concert in both Hollywell Music Room and Sheldonian Theatre.

I have played violin for more than 15 years since my grade 3 in primary school. My aim has not been a professional player, but just as a way of relief and occasionally being entertaining in family party or some informal social occasions. I currently (Hilary 2008) join the String Orchestra of the University College. Records of my past performance are:

publications

Automated Model-Based Verification of Object-Oriented Code

Jonathan Ostroff et al.

In Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE) 2006.

ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code

Jonathan Ostroff et al.

In Formal Methods 2006

Poster.

View all

info

themes

supervisor

location

Room 475, Wolfson Building, Parks Road, Oxford OX1 3QD

Random Image
Random Image
Random Image