Taolue Chen

        Research Assistant

Department of Computer Science, University of Oxford

          Visitor's address 

Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom  (getting there)  
          Room:  452
          Tel: +44 (0)1865 610715

          Email: taolue.chen#cs.ox.ac.uk[@/#] (= tchen#cs.ox.ac.uk);  taolue.chen#gmail.com[@/#] 
(Usually I respond to every message unless I am offline. If you do not get my feedback in a reasonable period, please call me.)

---

Research

Research interests:

• Formal Verification of Probabilistic and/or Real-time Systems;
• Modal and Temporal Logic, Automata and Language Theory, Game Theory, Finite Model Theory;
• Concurrency, Process Algebra, Mobility;
• Mathematical Logic, Complexity Theory, Control Theory, Information Theory;
• ...

It is difficult to specify my interests precisely, so the topics listed above are a very rough approximation. Basically I find that problems from theoretical computer science and mathematics attract me mostly. Nevertheless, please feel free to drop me a message if you have any problem which you might want to discuss with me.

Publication, DBLP entry

PhD Thesis and Defense

Professional Activities

For fun, the current best upper bound on my Erdős number is 4 via the following path:
                        Andrew J. Granville (1) -> Jan van de Lune (2) -> Wan Fokkink (3) -> Taolue Chen (4)

---

About me

Since Jan, 2011, I am a research assistant (postdoctoral researcher) at University of Oxford, Department of Computer Science (previously known as Computing Laboratory), Quantitative Analysis and Verification Group (QAV), which is a part of the verification research theme. I am involved in the VERIWARE project. From July, 2009 to Dec., 2010, I was a postdoctoral researcher at the Faculty of Electrical Engineering, Mathematics, and Computer Science, Chair Formal Methods and Tools and Design and Analysis of Communication Systems of the University of Twente. From July, 2005 to June, 2009, I did the Phd study at Centrum voor Wiskunde en Informatica (CWI), Department of Software Engineering in Amsterdam, supervised by Prof. Dr. Wan Fokkink and Prof. Dr. Jaco van de Pol. I hold the doctorate from Vrije Universiteit Amsterdam since September, 2009. 

---

Useful links

Webmail, OUCL IT Support, OUCS, OUCS Data Backup, Paper Download, Oxford Daily Info, Oxford Contact, UK Train, National Express, Megabus, Oxford guide (pdf, in Chinese), , Library OxLIP

---

Contact

• Postal address: Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom

---