9 regarded publication at an international conference and |
9 regarded publication at an international conference and |
10 we also submitted a journal version of this work. In |
10 we also submitted a journal version of this work. In |
11 both publications, Chunhan did much of the work and |
11 both publications, Chunhan did much of the work and |
12 has been the first author of the papers. |
12 has been the first author of the papers. |
13 |
13 |
14 I like to invite Chunhan to work with me in London for one |
14 I like to invite Chunhan to work with me in London for 11 months. |
15 year. His living expenses for the stay will be covered by |
15 His living expenses for the stay will be covered by |
16 my grant at King's College London. He would work with me |
16 my grant at King's College London. He would work with me |
17 on improving the reasoning in the Isabelle theorem prover. |
17 on improving the reasoning in the Isabelle theorem prover. |
18 I can teach him the internals of this theorem prover so |
18 I can teach him the internals of this theorem prover so |
19 that he can independently implement his own work. To do this |
19 that he can independently implement his own work. To do this |
20 effectively it would be most convenient for us if Chunhan |
20 effectively it would be most convenient for us if Chunhan |
22 there to the research community in the field of automated |
22 there to the research community in the field of automated |
23 reasoning. I have worked and got to know |
23 reasoning. I have worked and got to know |
24 well researchers in Cambridge and in Munich, where the |
24 well researchers in Cambridge and in Munich, where the |
25 theorem prover Isabelle is mainly developed and which |
25 theorem prover Isabelle is mainly developed and which |
26 are centres of excellence in the field of automated |
26 are centres of excellence in the field of automated |
27 reasoning. During this one year, Chunhan and I would |
27 reasoning. During these 11 months, Chunhan and I would |
28 work on projects which we hope can be published at |
28 work on projects which we hope can be published at |
29 top-tier conferences. |
29 top-tier conferences. |
30 |
30 |
31 I kindly request that you grant a one year leave to |
31 I kindly request that you grant 11 months leave to |
32 Chunhan. I am sure this scientific visit will be |
32 Chunhan. I am sure this scientific visit will be |
33 invaluable for his career. He is a bright researcher |
33 invaluable for his career. He is a bright researcher |
34 who will benefit greatly from collaboration with |
34 who will benefit greatly from collaboration with |
35 established researchers in automated reasoning. |
35 established researchers in the field of automated reasoning. |
36 In due course when all bureaucratic hurdles are taken |
36 In due course when all bureaucratic hurdles are taken |
37 the Head of the Informatics Department of King's College |
37 the Head of the Informatics Department of King's College |
38 will also write to you supporting the request to |
38 will also write to you supporting the request to |
39 invite Chunhan to work in London for one year. |
39 invite Chunhan to work with me in London. |
40 |
40 |
41 |
41 |
42 Yours sincerely, |
42 Yours sincerely, |
43 Dr Christian Urban |
43 Dr Christian Urban |
44 |
44 |