Research Bytes 8

RRR EEE SSSEEE AAA RRR CCC HHH BBB YYY TTT EEE SSS – III ssssssuuueee NNNooo... 888,,, SSSuuummmmmmeeerrr ... 222000000333

��

��

�� !! ! "" " ## # $$ $ %% % && & '' ' �� (( ( %% % $$ $ )) ) )) ) !! ! %% % %% % ** * $$ $ ++ + && & !! ! '' ' "" " (( ( "" " '' ' ,, , %% % �� '' ' )) ) ++ + �� %% % !! ! -- -.. . !! ! %% % $$ $ // / // / !! ! "" " 00 0 $$ $ %% % $$ $ '' ' ++ + ++ + && & '' ' �� 11 1 // / !! ! ** * �� "" " 22 2 $$ $ 11 1 !! ! �� "" " !! ! ** * ++ + !! ! )) ) �� 11 1 �� 00 0 ,, , 11 1 ++ + ++ +## # !! ! %% % 33 3 !! ! �� // / '' ' 44 4 11 1 �� 55 5 %% % $$ $ "" " !! ! �� '' ' �� $$ $ "" " 66 6 11 1 !! ! ,, , %% % �� !! ! 77 7 �� ## # !! ! "" " �� %% %77 7 !! ! 66 6 11 1 !! ! ,, , �� ** * �� !! ! 77 7 �� 88 8 '' ' "" " !! ! �� '' ' 44 4 !! ! �� 11 1 �� '' ' )) ) )) ) �� $$ $ �� -- - .. . 11 1 %% % 11 1 %% % // / && &++ + '' ' %% % �� ** * "" " �� 11 1 %% % 33 3 11 1 !! ! )) ) !! ! '' ' %% % 99 9 11 1 "" " !! ! )) ) �� "" " �� ** * 77 7 !! ! %% % !! ! '' ' "" " )) ) '' ' �� (( ( :: : ,, , �� $$ $ ++ + (( (++ + 11 1 44 4 !! ! �� 33 3 $$ $ ## # ++ + 11 1 )) ) ++ + && & "" " !! ! )) ) �� "" " (( ( // / && & �� '' ' �� 44 4 %% % �� (( ( "" " �� $$ $ ++ + ++ + '' ' ** * �� "" " �� !! !!! ! ;; ; )) ) !! ! ++ + ++ + !! ! �� << < �� ## # �� '' ' �� %% % !! ! '' ' %% % (( ( �� !! ! 11 1 �� )) ) "" " !! ! '' ' �� 11 1 �� 55 5 �� !! ! "" " !! ! )) ) !! ! �� 11 1 %% % %% % $$ $ !! ! %% % �� ** * �� 11 1 %% % == = !! ! ,, , %% % ++ + !! ! �� !! ! "" " -- ->> > ?? ? @@ @ AA A BB B @@ @ CC C ?? ? DD D EE E FF F GG G ?? ? HH H II I GG G EE E GG G JJ J KK K GG G ?? ? LL L @@ @ MM M NN N HH H II I BB B GG G EE E FF F KK K HH H BB B ?? ? @@ @ KK K II I OO O FF F JJ J LL L HH HCC C JJ J PP P HH H KK K QQ Q JJ J CC C RR R HH H @@ @ II I GG G KK K SS S GG G EE E TT T

UU U �� VV V �� WW W �� XX X YY Y VV V XX XZZ Z [[ [

VV V �� \\ \ �� \\ \ ]] ] �� ^^ ^ HH H LL L @@ @ RR R EE E __ _ HH H KK K EE E JJ J `` ` aa a JJ J __ _ LL L PP P EE E GG G KK K SS S


DDDaaagggssstttuuuhhhlll SSSeeemmmiiinnnaaarrr “ Reasoning about shape” http://www.dagstuhl.de/03101 About 25 model checkers, program analysts, and theorem provers gathered in this very interactive and productive meeting to discuss how established methodology can be extended or adapted to deal with`shape' --- examples being the shape of a heap structure manipulated by programs or the dynamic topology of an ad hoc wireless network. Three representative research effor ts are http://www.math.tau.ac.il/~rumster TVLA has been used to analyse programs that manipulate linked lists; it uses first-order logic with transitive closure to encode the required `shape theory' and analysis constraints, but is doubly exponential in the length of programs in the worst case. http://research.microsoft.com/behave/sharpie-repor t-abs.html Sharpie is a staged framework with behavioural types for asynchronous programming. I ts behavioural type system “ allows programmers to state succinct descr iptions of the externally visible behaviour of each operation in a stage. A novel modular type checking algor ithm ensures that the code implementing an operation conforms to stated behaviour .” http://www4.informatik.tu-muenchen.de/~nipkow/pubs/cade03.html Isabelle/HOL is a higher-order theorem prover in which Prof Nipkow implemented Barnat's Hoare tr iples for pointer programs- based on separation logic. This implementation is used to prove the correctness of the Schorr -Waite graph marking algor ithm (not presented at the meeting, but talked about).


WWWooorrrkkk---iii nnn---ppprrrooogggrrreeessssss rrreeepppooorrr tttsss iii dddeeennntttiii fff iii eeeddd ttthhheee fffooolll lll ooowwwiii nnnggg nnneeeeeedddsss::: * The ability of model checkers to generate models that meet specific non-propositional constraints; * The focus on approaches that promise at least some scalability - e.g. Airbus software of up to 1.2M lines of code was analysable due to its high structural integr ity; * The ability of model checkers and theorem provers to express and analyse HYBRID logics, e.g. temporal sequences of heap structure evolution; * A Systematic study on which shape constraints give r ise to (omega)-regular languages - e.g. as is the case in Bruno Blanchet's PhD thesis on Escape Analysis for Standard ML and Java - possibly enabling automata-theoretic techniques for ver ification and analysis. http://www.dagstuhl.de/03101 ftp.dagstuhl.de/pub/Proceedings/03/03101 Online Proceedings are available. MMMiii ccchhhaaaeeelll HHHuuuttthhh

NNNEEEWWW RRREEESSSEEEAAARRRCCCHHH GGGRRRAAANNNTTTSSS FFFOOORRR PPPMMMEEEGGG RRReeessseeeaaarrrccchhh GGGrrrooouuuppp PPPaaassssssaaagggeee TTT iii mmmeeesss iii nnn LLL aaarrr gggeee MMM aaarrr kkk ooovvv aaannnddd SSSeeemmmiii ---MMM aaarrr kkk ooovvv CCChhhaaaiii nnnsss (((PPPAAASSSTTT RRRAAAMMM III ))) GGGRRR///SSS222444999666111///000111 (((PPPGGGHHH aaannnddd WWWJJJKKK ,,, aaabbbooouuuttt 222666000KKK ))) RRRiii ssskkk MMM aaannnaaagggeeemmmeeennnttt fff ooorrr QQQuuueeeuuueeeiii nnnggg SSSyyysssttt eeemmmsss GGGRRR///SSS222777888444999///000111 (((PPPGGGHHH aaannnddd BBBRRR,,, aaabbbooouuuttt 222555000KKK ))) PPPrrr oooddduuucccttt ---fff ooorrr mmmsss fff rrr ooommm MMM aaarrr kkk ooovvviii aaannn PPPrrr oooccceeessssss AAA lll gggeeebbbrrr aaa (((PPPRRROOO---FFFOOORRRMMM AAA))) GGGRRR///SSS444555111444000///000111 (((PPPGGGHHH,,, aaabbbooouuuttt aaabbbooouuuttt 555000KKK ))) PETE HARRISON AND DAVE THORNLEY


b cedgfihkj l j m

DDDuuueee tttooo pppooopppuuulllaaarrr dddeeemmmaaannnddd ttthhheee FFFiii eeessstttaaa dddaaayyy rrr eeetttuuurrr nnneeeddd fffooorrr 222000000333... TTThhheee FFFiii eeessstttaaa dddaaayyy iii sss aaa lll iii ggghhhttt---hhheeeaaarrrttteeeddd ooorrr fffuuunnn dddaaayyy fffooorrr PPPhhhDDD ssstttuuudddeeennntttsss tttooo ssshhhooowww---ooofff fff ttthhheeeiii rrr wwwooorrrkkk aaannnddd gggeeettt tttooogggeeettthhheeerrr aaannnddd ccchhhaaattt aaabbbooouuuttt aaalll lll ttthhhiiinnngggsss PPPhhhDDD... TTThhhiii sss yyyeeeaaarrr ''' sss wwwaaasss hhheeelll ddd ooonnn FFFrrr iii dddaaayyy 111333ttthhh JJJuuunnneee (((fff lll ooouuuttt iii nnnggg aaannnyyy sssuuupppeeerrr sssttt iii ttt iii ooonnn ttt hhheeerrr eeeiii nnn))) aaannnddd wwweee hhhaaaddd sssooommmeee ccchhhaaannngggeeesss... TTT hhheee ttt hhheeemmmeee fff ooorrr ttt hhhiii sss yyyeeeaaarrr ''' sss fff iii eeesssttt aaa wwwaaasss ''' GGGeeettt ttt iii nnnggg iii ttt iii nnn ooonnn ttt iii mmmeee''' ... TTThhheee dddaaayyy’’’ sss PPPrrr ooogggrrr aaammmmmmeee wwwaaasss 10.30-11.30 Invited Speaker 11.30-12.00 coffee/ Poster Session 1 12.00-13.00 final year presentations (x3) 111333...000000---111444...000000 lll uuunnnccchhh (((ooowwwnnn))) 14.00-15.00 final year presentations (x3) 15.00-16.30 coffee/ Poster Session 2 16.30-17.30 DEBATE: 'This side of the house believes Theory PhDs

take longer than Implementation-based PhDs' 17.30 - late Fiesta party with Prize Presentations (poster, presentation,

debating team) What was required from the students: n

Year 3 or above volunteers: 20-minute presentation n All other students: a 1 A4-page poster (or reuse of a poster already done) n Two debating teams each consisting of: 1 final-year person, 2

' implementational' PhD and 2 ' theory' PhD people respectively per team. Pr izes were given for the best Poster , Presentation and Debating team Best Presentation award: SIMON RIZZELLO with 6 votes Best Poster award: DIMITRIOS PERPERIDIS with 5 votes Winning Debating Team: IMPLEMENTATION with 13 votes (Theory had 6)

THANKS to all those who made the day a success!!! Julie McCann


FFFuuunnndddiii nnnggg fffooorrr PPPhhhDDD AAApppppplll iii cccaaatttiii ooonnnsss fffooorrr 222000000444

oo ooqppppsrrrrutt ttwvv vvupp ppyxxxxupp ppepp pp{zz zz}|| ||{~~ ~~�vv vv�pp pp�zz zz�� w�� {�� ¡�� ¢¢ ¢¢i££££¥¤¤ ¤¤¦zz zz¨§§§§©rr rr�pp ppªª ªªepp ppett tteªª ªª{«« ««�~~ ~~�zz zz�pp ppe¬¬ ¬¬i®¤¤ ¤¤¦¯¯ ¯¯�zz zz�pp ppw°° °°�§§ §§�±± ±±�pp ppett tt{¯¯ ¯¯³²² ²²´¬¬ ¬¬k¡µµ µµ�zz zz�ªª ªª¦~~ ~~�zz zzu|| ||}®¤¤ ¤¤{¯¯ ¯¯¶tt tt{·· ··�·· ··e«« ««¸~~ ~~º¹¹ ¹¹�tt tt�§§ §§©~~ ~~»¤¤ ¤¤{zz zz�¬¬ ¬¬�¼¼¼¼e½½ ½½¾½½ ½½À¿¿ ¿¿uÁÁ ÁÁ}ÂÂÂÂÄÃÃ ÃÃÅtttt{zz zzuªª ªª½½ ½½¾ÆÆ ÆÆÇÃÃ ÃÃÈÂÂ ÂÂÊÉÉ ÉÉÌËË ËË¼¼ ¼¼e½½ ½½¾½½ ½½ ÍÍ ÍÍÏÎÎ ÎÎ�ÐÐ ÐÐÒÑÑ ÑÑÔÓÓ ÓÓÖÕÕ ÕÕ�×× ××ÙØØ ØØÖÚÚ ÚÚ»ÛÛ ÛÛÝÜÜ ÜÜßÞÞ ÞÞáàà ààÙââ ââ�ÑÑ ÑÑÈãã ããä×× ××�åå åå�àà àà�ææ ææÙææ ææáÕÕ ÕÕ»ÚÚ ÚÚ�ÓÓ ÓÓçàà ààÖââ ââèÚÚ ÚÚé×× ××�ÛÛ ÛÛÝØØ ØØêââ ââ�×× ××Ìåå ååëÑÑ ÑÑÙàà ààáÓÓ ÓÓÒÐÐ ÐÐíììììïîî îîñðð ðð¶ÓÓ ÓÓÒÐÐ ÐÐò×× ××�ÕÕ ÕÕ�àà àà�åå åå�ØØ ØØÙÐÐ ÐÐóÚÚ ÚÚ»ææ ææòØØ ØØÇôô ôôÀÚÚ ÚÚ»ÕÕ ÕÕ´ÕÕ ÕÕçõõ õõÒÑÑ ÑÑöö ööç÷÷ ÷÷óøø øøuùù ùùÝ÷÷ ÷÷Ùúú úú¸ûû ûûÏüü üü�ýý ýýóýý ýýáþþ þþ ÿÿ ÿÿ�� ææ ææÙææ ææáÕÕ ÕÕ»ÚÚ ÚÚ�ÓÓ ÓÓçàà ààÒââ ââèÚÚ ÚÚ�×× ××�ÛÛ ÛÛòØØ ØØÇôô ôôÀÚÚ ÚÚ»ÕÕ ÕÕ»ÕÕ ÕÕ�ââ ââèÐÐ ÐÐÒÑÑ ÑÑ�ÛÛ ÛÛÔõõ õõòÑÑ ÑÑ ØØ ØØòÑÑ ÑÑ�ÛÛ ÛÛòââ ââáââ ââ�×× ××ÔÑÑ ÑÑóàà ààóÓÓ ÓÓÖÐÐ ÐÐ��ÑÑÑÑ�ææ ææÝàà àà�åå åå ââ ââ�� ÈÑÑÑÑ�ÛÛ ÛÛçââ ââ�ÚÚ ÚÚ»ÛÛ ÛÛ�� ÑÑ ÑÑ�õõ õõáåå åå�� Òàààà�åå åå� ôô ôôÊÚÚ ÚÚ ââ ââèÐÐ ÐÐ¾ãã ãã ÚÚ ÚÚ»ÛÛ ÛÛÝàà àà�ÕÕ ÕÕ ÞÞ ÞÞáÑÑ ÑÑáÓÓ ÓÓÒÚÚ ÚÚéØØ ØØÙÚÚ ÚÚ�×× ××�ÛÛ ÛÛÝØØ ØØ�ââ ââë×× ×× õõ õõÝÑÑ ÑÑ��ÈààààóÞÞ ÞÞáÑÑ ÑÑ ÚÚ ÚÚ»ÛÛ ÛÛ� Ààààà�åå ååëÓÓ ÓÓÒÐÐ ÐÐ�� ææ ææóåå ååèÚÚ ÚÚ»ÕÕ ÕÕ ÿÿ ÿÿ�� ðð ðð ÍÍ ÍÍÈââ ââèÐÐ ÐÐÒÑÑ ÑÑ ÜÜ ÜÜóÑÑ ÑÑ�ÛÛ ÛÛÝÑÑ ÑÑ�åå ååëàà àà�ÕÕ ÕÕ ÓÓ ÓÓ ×× ××�ÛÛ ÛÛ ØØ ØØ ÑÑ ÑÑ�ÛÛ ÛÛòØØ ØØ��ÝØØ ØØÇôô ôô�àà ààáØØ ØØêââ ââ�×× ××Ìõõ õõóåå ååèÚÚ ÚÚ»ÛÛ ÛÛÒÜÜ ÜÜÊãã ããä×× ××�åå åå�ôô ôô�àà àà�åå ååëÞÞ ÞÞÏââ ââèÐÐ ÐÐÝÑÑ ÑÑÄôô ôôÄÐÐ ÐÐÒ×× ××�ÕÕ ÕÕ�ÑÑ ÑÑ �� ðð ðð ÓÓ ÓÓ�òÓÓÓÓÒÕÕ ÕÕéÑÑ ÑÑ õõ õõ�àà àà�ææ ææóææ ææóåå ååë×× ××�� óÚÚ ÚÚ�� ÈààààÙââ ââëÑÑ ÑÑ�ÕÕ ÕÕ �� Äôôôô�ÑÑ ÑÑáÑÑ ÑÑ�� ØØ ØØ ÿÿ ÿÿ ÎÎ ÎÎeÐÐ ÐÐáÚÚ ÚÚéØØ ØØÏÚÚ ÚÚéØØ ØØêââ ââë×× ××ÔÑÑ ÑÑ�ÛÛ ÛÛÒàà àà�õõ õõáÕÕ ÕÕ�ÑÑ ÑÑÈââ ââ ÐÐ ÐÐÒÑÑ ÑÑ åå ååëÑÑ ÑÑáØØ ØØ�� óÕÕ ÕÕ ââ ââ�ØØ ØØêââ ââ�×× ××Ìõõ õõÒÑÑ ÑÑ àà àà�ÛÛ ÛÛáÛÛ ÛÛÒ×× ×× ��ÙÛÛÛÛÝÓÓ ÓÓçÑÑ ÑÑáÞÞ ÞÞ õõ õõ�êââââèÐÐ ÐÐÒÑÑ ÑÑÑÑ ÑÑ�ÛÛ ÛÛÒÞÞ ÞÞß×× ××Òãã ãã �� ææ ææáåå ååèÚÚ ÚÚºÕÕ ÕÕ ÿÿ ÿÿ ÎÎ ÎÎ�ÐÐ ÐÐóÚÚ ÚÚ ØØ ØØ!��ÈÑÑÑÑóàà àà�ÛÛ ÛÛÝØØ ØØêââ ââèÐÐ ÐÐÝàà ààÙââ ââ �� ðð ðð àà àà�ææ ææóææ ææóÕÕ ÕÕºÚÚ ÚÚ�ÓÓ ÓÓ àà ààÙââ ââèÚÚ ÚÚ�×× ××�ÛÛ ÛÛòØØ ØØÇôô ôôÄÚÚ ÚÚ»ÕÕ ÕÕ´ÕÕ ÕÕçåå åå�� óÛÛÛÛ#""""óÚÚ ÚÚ»åå åå ââ ââ�� Òàà àà�ÕÕ ÕÕ»ÕÕ ÕÕ ææ ææÝàà àà�åå åå�àà àà�ÕÕ ÕÕ»ÕÕ ÕÕ�ÑÑ ÑÑ�ÕÕ ÕÕ�ââ ââë×× ××$$ $$&%% %%'%% %% ØØ ØØ ÓÓ ÓÓÒÐÐ ÐÐò×× ××�ÕÕ ÕÕ�àà àà�åå åå�ØØ ØØÖÐÐ ÐÐóÚÚ ÚÚ»ææ ææòØØ ØØ ÿÿ ÿÿ½½ ½½¾ÆÆ ÆÆÇÃÃ ÃÃÈÂÂ ÂÂÊÉÉ ÉÉ)((((#** **'++ ++È¬¬¬¬ ÍÍ ÍÍÏÎÎ ÎÎ�ÐÐ ÐÐáÚÚ ÚÚ ØØ ØØ,òÑÑÑÑáàà àà�åå ååÖôô ôô�ÑÑ ÑÑÔÑÑ ÑÑ�ÛÛ ÛÛÝÓÓ ÓÓ ×× ××-��áååååëàà ààáÜÜ ÜÜÙÑÑ ÑÑáÞÞ ÞÞÈââ ââèÐÐ ÐÐÒÑÑ ÑÑ %% %%'.. .. ðð ðð �� îî îî ØØ ØØ ââ ââ�� ÒÞÞ ÞÞóÑÑ ÑÑ�ÛÛ ÛÛ ââ ââ àà àà�ææ ææÙææ ææóÕÕ ÕÕ»ÚÚ ÚÚéÓÓ ÓÓçàà ààÙââ ââèÚÚ ÚÚ�×× ××�ÛÛ ÛÛÝØØ ØØââ ââë×× ×× õõ õõÒÑÑ ÑÑ ØØ ØØ�� óõõ õõ��ßÚÚÚÚ ââ ââ ââ ââëÑÑ ÑÑáÞÞ ÞÞ õõ õõ�� 0// //211 11 �� ææ ææáåå ååèÚÚ ÚÚ»ÕÕ ÕÕ ÿÿ ÿÿ ÎÎ ÎÎ�ÐÐ ÐÐóÚÚ ÚÚéØØ ØØÇôô ôô�×× ××�åå åå�� ÑÑ ÑÑáÞÞ ÞÞÄôô ôô�ÑÑ ÑÑ�ÕÕ ÕÕºÕÕ ÕÕ ÿÿ ÿÿ ìì ìì�ÛÛ ÛÛÔÕÕ ÕÕ»ÚÚ ÚÚ�ÜÜ ÜÜ�ÐÐ ÐÐòââ ââ ×× ××Öãã ãã ââ ââ ÐÐ ÐÐÒÑÑ ÑÑÔàà àà�õõ õõÒ×× ××�"" ""ÒÑÑ ÑÑ43333ÖÚÚÚÚ ââ ââ �� Èàààà� õõ õõÝÑÑ ÑÑÑÑ ÑÑáØØ ØØ ØØ ØØòÑÑ ÑÑ�ÛÛ ÛÛòââ ââèÚÚ ÚÚ�àà àà�ÕÕ ÕÕ�ââ ââ�×× ×× ÐÐ ÐÐÒàà àà�"" ""ÝÑÑ ÑÑÔàààà�ÛÛ ÛÛÄÑÑ ÑÑÙàà àà�åå ååèÕÕ ÕÕ ÄÞÞÞÞáÑÑ ÑÑáàà ààóÞÞ ÞÞ�ÕÕ ÕÕ»ÚÚ ÚÚ»ÛÛ ÛÛÒÑÑ ÑÑ ÛÛ ÛÛÝÑÑ ÑÑ5�� ââ ââ�òÑÑÑÑóàà àà�åå åå ÿÿ ÿÿ66 6666 66 66 66 77 7777 77 77 77 88 8888 88 88 88 99 9999 99 99 99 :: :::: :: :: :: ;; ;;;; ;; ;; ;; ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ øø øøøø øø øø øø 99 9999 99 99 99 << <<<< << << << 77 7777 77 77 77 ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ << <<<< << << << == ==== == == == 77 7777 77 77 77 >> >>>> >> >> >> 99 9999 99 99 99 << <<<< << << << ùù ùùùù ùù ùù ùù ?? ???? ?? ?? ?? ;; ;;;; ;; ;; ;; øø øøøø øø øø øø << <<<< << << << 99 9999 99 99 99 øø øøøø øø øø øø ;; ;;;; ;; ;; ;; ;; ;;;; ;; ;; ;; ?? ???? ?? ?? ?? << <<<< << << << @@ @@@@ @@ @@ @@ AA AAAA AA AA AA ;; ;;;; ;; ;; ;; 77 7777 77 77 77 @@ @@@@ @@ @@ @@ BB BBBB BB BB BB ?? ???? ?? ?? ?? 88 8888 88 88 88 øø øøøø øø øø øø CC CCCC CC CC CC @@ @@@@ @@ @@ @@ DD DDDD DD DD DD DD DDDD DD DD DD ;; ;;;; ;; ;; ;; úú úúúú úú úú úú 99 9999 99 99 99 DD DDDD DD DD DD @@ @@@@ @@ @@ @@ úú úúúú úú úú úú ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ ùù ùùùù ùù ùù ùù << <<<< << << << ùù ùùùù ùù ùù ùù :: :::: :: :: :: øø øøøø øø øø øø üü üüüü üü üü üü ýý ýýýý ýý ýý ýý ýý ýýýý ýý ýý ýý þþ þþþþ þþ þþ þþ AA AAAA AA AA AA ûû ûûûû ûû ûû ûû;; ;;;; ;; ;; ;; ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ úú úúúú úú úú úú BB BBBB BB BB BB ûû ûûûû ûû ûû ûû öö öööö öö öö öö ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ øø øøøø øø øø øø ùù ùùùù ùù ùù ùù ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ úú úúúú úú úú úú ûû ûûûû ûû ûû ûû øø øøøø øø øø øø ;; ;;;; ;; ;; ;; EE EEEE EE EE EE << <<<< << << << ûû ûûûû ûû ûû ûû ;; ;;;; ;; ;; ;; ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ úú úúúú úú úú úú 88 8888 88 88 88 øø øøøø øø øø øø @@ @@@@ @@ @@ @@ úú úúúú úú úú úú ?? ???? ?? ?? ?? ;; ;;;; ;; ;; ;; úú úúúú úú úú úú << <<<< << << << @@ @@@@ @@ @@ @@ AA AAAA AA AA AA ;; ;;;; ;; ;; ;; FF FFFF FF FF FF @@ @@@@ @@ @@ @@ øø øøøø øø øø øø 99 9999 99 99 99 88 8888 88 88 88 ?? ???? ?? ?? ?? ;; ;;;; ;; ;; ;; úú úúúú úú úú úú ;; ;;;; ;; ;; ;; ?? ???? ?? ?? ?? DD DDDD DD DD DD @@ @@@@ @@ @@ @@ úú úúúú úú úú úú << <<<< << << << 77 7777 77 77 77 ;; ;;;; ;; ;; ;; ÷÷ ÷÷÷÷ ÷÷ ÷÷ ÷÷ AA AAAA AA AA AA @@ @@@@ @@ @@ @@ GG GGGG GG GG GG ;; ;;;; ;; ;; ;; DD DDDD DD DD DD ùù ùùùù ùù ùù ùù øø øøøø øø øø øø ?? ???? ?? ?? ?? 88 8888 88 88 88 øø øøøø øø øø øø CC CCCC CC CC CC HH HHHH HH HH HH HH HHHH HH HH HH HH HHHH HH HH HHII IIII II II II JJ JJJJ JJ JJ JJ KK KKKK KK KK KK LL LLLL LL LL LL MM MMMM MM MM MM NN NNNN NN NN NN OO OOOO OO OO OO PP PPPP PP PP PP QQ QQQQ QQ QQ QQ RR RRRR RR RR RR SS SSSS SS SS SS TT TTTT TT TT TT MM MMMM MM MM MM PP PPPP PP PP PP NN NNNN NN NN NN TT TTTT TT TT TT PP PPPP PP PP PP OO OOOO OO OO OO PP PPPP PP PP PP UU UUUU UU UU UU UU UUUU UU UU UU PP PPPP PP PP PP VV VVVV VV VV VV MM MMMM MM MM MM NN NNNN NN NN NN TT TTTT TT TT TT WW WWWW WW WW WW XX XXXX XX XX XX SS SSSS SS SS SS YY YYYY YY YY YY ZZ ZZZZ ZZ ZZ ZZ YY YYYY YY YY YY [[ [[[[ [[ [[ [[ \\ \\\\ \\ \\ \\ NN NNNN NN NN NN ]] ]]]] ]] ]] ]] ^^ ^^^^ ^^ ^^ ^^ __ ____ __ __ __ `` ```` `` `` `` ]] ]]]] ]] ]] ]] ZZ ZZZZ ZZ ZZ ZZ ZZ ZZZZ ZZ ZZ ZZ ]] ]]]] ]] ]] ]] aa aaaa aa aa aa bb bbbb bb bb bb


cc ccedddd�ffff gg ggihh hhkjj jjmllll#nn nnpoo oo0qq qqrjjjjsllll

IC/UoL or DoC

FORMAL MILESTONES OUTCOME/DETAILS

IC/UoL Immediate - 0 months : English Language proficiency test for non-native English speakers

If not applicable, exemption may be requested by Supervisor and Postgraduate Tutor.

DoC Year 1 – 3 months : Periodic Progress Report

IC/UoL and DoC

Year 1 - 9 months : . First Formal Review First Year Report (about 20 pages) and First Year Presentation (25-30 minutes)

Progress is assessed by reviewers; if unsatisfactory, students may be asked to re-submit.

If not successful, student may be asked to withdraw

DoC Year 1 – 12 months – Periodic Progress Report


IC/UoL and DoC

Year 2 – Months 12 - 18: MPhil to PhD formal transfer seminar and extensive written report, together with the outline of thesis, and plans for completion.

Transfer from MPhil to PhD registration is approximately halfway through the second year Hilfred Chau Memorial Prize awarded for best MPhil/PhD Transfer Report

Possible outcomes: 1) continue to PhD, 2) continue for MPhil, 3) asked to withdraw DoC Year 2 – 24 months – Periodic Progress Report

IC/UoL Year 2 – 24 months – minimum completion of full-time study for MPhil, PhD and DIC DoC Year 3 – Month 25 – Plan for Finalization Student and Supervisor draw up a plan

for finalization of the research and write up of thesis within the end of third year.

IC/UoL Year 3 – maximum completion is 27 months for MPhil & DIC – therefore latest submission date for MPhil dissertation


IC/UoL Year 3 – 30 months Latest date for submission of PhD Examination Entry Forms

DoC Year 3 – 36 Months – Periodic Progress Report

DoC Year Three- around 32nd month: Research Presentation (30 min seminar)

IC/UoL Year 3 – 36 months – Latest Date for submission of PhD dissertation

IC/UoL Year 4 – 40 months – Latest date for submission of PhD examination entry form



DoC Final Year – 54 months – Periodic Progress Report

IC/UoL Final Year , 60 months: Latest date for submission of PhD Disser tation

PLEASE NOTE – This list of milestones is written under the assumption that students start in October . Internal milestones (i.e. progress reports, and nine month progress talks) apply to all students irrespective of whether they start in October or later on in the academic year. Talks usually take place at the same time each year, usually every January and July. ALL current information on PhD research procedures can be found on our Departmental website under the Research icon!! Just ‘click’ on ‘Postgraduates’ under ‘ Information on Research for Students’


WWWeeelllcccooommmeee tttooo AAALLL LLL TTTHHHEEE FFFOOOLLL LLL OOOWWWIII NNNGGG nnneeewww ssstttaaafff fff ///ssstttuuudddeeennntttsss wwwhhhooo rrr eeeccceeennnttt lllyyy jjj oooiiinnneeeddd uuusss!!! !!! !!! Cather ine Wang who joined us on 16th June as a new Secretary in the Depar tment. Oliver Wells, UbiCare Project Manager who joined us on 1st June, working with Morr is. Paul Alj ibar who joined us on 1st Apr il. Dr Xinzhong L i who joined us on 16th June. Dr John Tchalenko who joined us on 1st May.

Kanwal Bhatia who joined us on 1st Apr il. Theodore Hong who star ted as a TA in February 2003.


Congratulations to Dr Robert Merrifield, British Heart Foundation (BHF) Junior Research Fellow, who started 1st June, working with Guang-Zhong and team.

The following have recently been awarded their PhDs! tt t

SSSttteeeppphhheeennn BBBaaarrrkkkeeerrr tt t MMMaaarrrtttiiinnn BBBeeerrrgggeeerrr tt t JJJuuuaaannn CCCaaarrrlllooosss FFFeeerrrnnnaaannndddeeezzz---RRRaaammmiii lll tt tAAAllleeexxxaaannndddrrrooosss PPPaaappppppaaasss tt t SSShhhaaammmiiimmmaaa PPPaaauuurrrooobbbaaalll lll yyy tt t RRRuuueeeiiihhheeerrr TTTsssaaauuurrr tt t SSSeeebbbaaassstttiiiaaannn UUUccchhhiii ttteeelll

Our CONGRATULATIONS go to them all! ! !


ongratulations to: Alexandros Chor taras – awarded the Morgan Stanley Prize in Advanced Computing for 2002. This pr ize is awarded each year to an MAC student for the best individual project

and is of the value of £200!

All our best wishes and thanks go to the following who recently left the Depar tment for ‘pastures new’ !!! uu u

JJJiii lll lll PPPaaayyynnneee uu uLLL iiinnnxxxuuueee SSSuuunnn

DDDeeepppaaarrr tttmmmeeennnttt ooofff CCCooommmpppuuuttt iiinnnggg LLL eeeccctttuuurrr eeessshhhiiippp pppooossstttsss TTThhheee rrr eeessspppooonnnssseee tttooo ttthhheee aaadddvvveeerrr ttt iii ssseeemmmeeennnttt fffooorrr llleeeccctttuuurrr eeerrr sss wwwiii ttthhhiiinnn ttthhheee DDDeeepppaaarrr tttmmmeeennnttt wwwaaasss sssuuucccccceeessssssfffuuulll………………………………………...... v 109 applications received v 12 applicants were interviewed v 6 Offers were made

ongratulations to the following who will be joining the Department as Lecturers: Khalil Amiri – in January 2004 Jeremy Bradley – in January 2004 Sebastian Uchitel – in December 2003

C

C


SSSeeessssssiiiooonnn 222000000222---222000000333

222888 SSSeeepppttt eeemmmbbbeeerrr ––– 111333 DDDeeeccceeemmmbbbeeerrr 222000000222 444 JJJaaannnuuuaaarrr yyy --- 222111 MMM aaarrr ccchhh 222000000333

222666 AAAppprrr iii lll ––– 222777 JJJuuunnneee 222000000333

SSSeeessssssiiiooonnn 222000000333---222000000444 444 OOOcccttt ooobbbeeerrr ––– 111999 DDDeeeccceeemmmbbbeeerrr 222000000333 111000 JJJaaannnuuuaaarrr yyy ––– 222666 MMM aaarrr ccchhh 222000000444

222444 AAAppprrr iii lll ––– 222555 JJJuuunnneee 222000000444 Graduate School of Engineer ing and Physical Sciences Following on from the Launch of the new Graduate School last October 2002, several Newsletters have been issued. If you are interested in receiving your own copy or back copies, please contact [email protected] ***** GSEPS DIARY DATES *****

Summer Research Student Symposium – Wednesday 16th July 2pm, Great Hall, South Kensington campus For more details email [email protected] or refer to the May Issue No. 4 of the GSEPS Newsletter! ! ! Postgraduate Study Oppor tunities Open Day – Friday 21st November 1pm-5pm, Great Hall, South Kensington campus Research Bytes…. Research Bytes…… Research Bytes… Research Bytes… Research Bytes … Research Bytes….… Research Bytes wyx&z|{}x�~}��~��~��'� �� ¢¡�£�¤¥��¦��}§¨§��¤,©��|ª«�¬��®°¯ �²±³¯ ´�´|¯µ��§ ¶©�¯µ¤¥��·��¤¸��¦,·�¹}�!º�¤��}»|��}·¨�!¼�� ¹��0®5½��}§¾��¿�¿��0¯ ��·��}»ÁÀ�Â Ã�ÄµÅ�ÆÇÃ}È#É|ÊËÌÂ�Í!Î|Ï}Ð&Ñ�ÀrÀ|É�Ò�È�Ó Ä�ÔÖÕµÕµÕResearch Bytes…. Research Bytes…… Research Bytes… Research Bytes… Research Bytes … Research Bytes….… Research Bytes

×-Ø¢Ù|ØpÚ5Û ÜpÝÁÞ5ß¢à�Ø¢Ùâá°Ùäã�åçæéè«ê5ë�ê&ì�í|î�ïñðê�ò4ë�óôêöõ0õ2ê¢íñ÷}ø�íùõúïûêýü'ê0þ4ì�íyõúÿ�ê��4õ ø&÷� ø�ÿ�þ�� õ�� 4~�� ³�� ¾�� 4�� ~��~�� ¥� � �}��~�� ~��}�y�� ~�� ²�'~�� ~��¥�� ~�� Ç�¨� ��p� ~��"!#� � ��p� ��$��¥� � �0� �� %|~" Ç�³��³�� ~�� ~�� &�� }� �¥��¥� � ��}�� ³�� }� � ��{ö��~��'�� ~��'� � ��¨�� (� �� ³��y�� ~�{}�µ�}��)��*��~}� � � x�� ¨��2~}�� ~(� �0� �}�� +�, Ç��}�� ~-� ~ � � �". ��/10"2�3�2�46587:9<;�2=0�>@?A9CBD4�EF>�G�4H>IKJ 9�LM4�2ONC9�?P5&06QR9�;-EF>SG19<T�UV9�;�9�0<T�2 J �PW��!¤¥��§¨� ¤�X��·�¹��¤�¯ ´ ¹�·¸·�� }»p¯ ·HY�¤��¦��§¨�!��SZ��·¨¤�¯,[0��·�¯ �}��§ \]] ] ^^ ^ __ _ ]] ] `` ` aa a bb b ^^ ^ cc c dd d ee e ff f gg g ãã ã hh h ii i ææ æ jj j kk k ll l ll l mm m nn n cc c oo o pp p qq q rr r ss s tt t uu u vv v ww w xx x yy y zz z xx x {{ { || | xx x oo o }} } ~~ ~ ~~ ~ ��

Documents

Research Bytes 8