ÿþ<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 14"> <meta name=Originator content="Microsoft Word 14"> <link rel=File-List href="index_files/filelist.xml"> <link rel=Edit-Time-Data href="index_files/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--><o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="City"/> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="PlaceType"/> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="PlaceName"/> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="place"/> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="country-region"/> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Ngo Minh Tri</o:Author> <o:Template>Normal</o:Template> <o:LastAuthor>ICTS</o:LastAuthor> <o:Revision>17</o:Revision> <o:Created>2011-01-03T13:10:00Z</o:Created> <o:LastSaved>2012-04-12T09:50:00Z</o:LastSaved> <o:Pages>1</o:Pages> <o:Words>296</o:Words> <o:Characters>1632</o:Characters> <o:Lines>13</o:Lines> <o:Paragraphs>3</o:Paragraphs> <o:CharactersWithSpaces>1925</o:CharactersWithSpaces> <o:Version>14.00</o:Version> </o:DocumentProperties> </xml><![endif]--> <link rel=themeData href="index_files/themedata.thmx"> <link rel=colorSchemeMapping href="index_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:Zoom>150</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves>false</w:TrackMoves> <w:TrackFormatting/> <w:HyphenationZone>21</w:HyphenationZone> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>NL</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SplitPgBreakAndParaMark/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false" DefSemiHidden="false" DefQFormat="false" LatentStyleCount="267"> <w:LsdException Locked="false" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="caption"/> <w:LsdException Locked="false" QFormat="true" Name="Title"/> <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> <w:LsdException Locked="false" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" Priority="99" Name="No List"/> <w:LsdException Locked="false" Priority="99" SemiHidden="true" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" Name="Light List"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" Priority="99" SemiHidden="true" Name="Revision"/> <w:LsdException Locked="false" Priority="34" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" SemiHidden="true" UnhideWhenUsed="true" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/> </w:LatentStyles> </xml><![endif]--><!--[if !mso]><object classid="clsid:38481807-CA0E-42D2-BF39-B33AF135CC4D" id=ieooui></object> <style> st1\:*{behavior:url(#ieooui) } </style> <![endif]--> <style> <!--a:link {so-language: zxx ;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman";} a:link, span.MsoHyperlink {mso-style-unhide:no; color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-unhide:no; color:blue; text-decoration:underline; text-underline:single;} p {mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0cm; margin-bottom:5.75pt; margin-left:0cm; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman","serif"; mso-fareast-font-family:"Times New Roman";} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt;} @page WordSection1 {size:612.0pt 792.0pt; margin:72.0pt 90.0pt 72.0pt 90.0pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman","serif";} </style> <![endif]--> <meta name=CREATED content="20100322;16034800"> <meta name=CHANGED content="20100322;18064000"> <meta name="Info 1" content=""> <meta name="Info 2" content=""> <meta name="Info 3" content=""> <meta name="Info 4" content=""> <!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1027"/> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--> </head> <body lang=NL link=blue vlink=blue style='tab-interval:36.0pt'> <div class=WordSection1> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='font-size:13.5pt;mso-ansi-language:EN-US'>NGO MINH TRI </span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>PhD Student</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><!--[if gte vml 1]><v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="if lineDrawn pixelLineWidth 0"/> <v:f eqn="sum @0 1 0"/> <v:f eqn="sum 0 0 @1"/> <v:f eqn="prod @2 1 2"/> <v:f eqn="prod @3 21600 pixelWidth"/> <v:f eqn="prod @3 21600 pixelHeight"/> <v:f eqn="sum @0 0 1"/> <v:f eqn="prod @6 1 2"/> <v:f eqn="prod @7 21600 pixelWidth"/> <v:f eqn="sum @8 21600 0"/> <v:f eqn="prod @7 21600 pixelHeight"/> <v:f eqn="sum @10 21600 0"/> </v:formulas> <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> <o:lock v:ext="edit" aspectratio="t"/> </v:shapetype><v:shape id="Picture_x0020_3" o:spid="_x0000_s1026" type="#_x0000_t75" alt="Description: Description: Description: Description: Description: Description: Description: 47740_1169429691894_1712540415_333410_4179274_n" style='position:absolute;margin-left:326.5pt;margin-top:2.5pt;width:331.5pt; height:232pt;z-index:-251658752;visibility:visible;mso-wrap-style:square; mso-width-percent:0;mso-height-percent:0;mso-wrap-distance-left:9pt; mso-wrap-distance-top:0;mso-wrap-distance-right:9pt; mso-wrap-distance-bottom:0;mso-position-horizontal:absolute; mso-position-horizontal-relative:text;mso-position-vertical:absolute; mso-position-vertical-relative:line;mso-width-percent:0;mso-height-percent:0; mso-width-relative:page;mso-height-relative:page'> <v:imagedata src="index_files/image001.jpg" o:title=" 47740_1169429691894_1712540415_333410_4179274_n"/> <w:wrap anchory="line"/> </v:shape><![endif]--><![if !vml]><span style='mso-ignore:vglayout;position: absolute;z-index:251657726;margin-left:546px;margin-top:21px;width:552px; height:387px'><img width=552 height=387 src="index_files/image002.jpg" alt="Description: Description: Description: Description: Description: Description: Description: 47740_1169429691894_1712540415_333410_4179274_n" v:shapes="Picture_x0020_3"></span><![endif]><span lang=EN-US style='mso-ansi-language: EN-US'><a href="http://fmt.cs.utwente.nl/index.html">Formal Methods and Tools</a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><span lang=EN-US style='mso-ansi-language:EN-US'><a href="http://www.universiteittwente.nl/education/eemcs">Electrical Engineering, Mathematics and Computer Science</a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><span lang=EN-US style='mso-ansi-language:EN-US'><a href="http://www.universiteittwente.nl/en">University of <span class=SpellE>Twente</span></a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Office Address</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:36.7pt'><span class=SpellE><span lang=EN-US style='mso-ansi-language:EN-US'>Drienerlolaan</span></span><span lang=EN-US style='mso-ansi-language:EN-US'> 5, 7522 NB <span class=SpellE>Enschede</span>, <span class=GramE>The</span> <st1:place w:st="on"><st1:country-region w:st="on">Netherlands</st1:country-region></st1:place><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:36.7pt'><span lang=EN-US style='mso-ansi-language:EN-US'>Building <span class=SpellE>Zilvering</span><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:36.7pt'><span lang=EN-US style='mso-ansi-language:EN-US'>Room 5033<o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:.7pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Tel</span></b><span lang=EN-US style='mso-ansi-language:EN-US'>: +31 53 499 4661 or +31 681542005<o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Email</span></b><span lang=EN-US style='mso-ansi-language:EN-US'>: <a href="mailto:tringominh@gmail.com">tringominh@gmail.com</a>, <a href="mailto:m.t.ngo@ewi.utwente.nl">m.t.ngo@ewi.utwente.nl</a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Research</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:37.45pt'><span lang=EN-US style='mso-ansi-language:EN-US'><a href="http://fmt.cs.utwente.nl/projects/SlaLoM/"><span class=SpellE>SlaLoM</span>: Security by Logic for Multithreaded applications</a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Supervisor</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:38.15pt'><span lang=EN-US style='mso-ansi-language:EN-US'><a href="http://wwwhome.cs.utwente.nl/~marieke/">Dr. Marieke Huisman</a><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;line-height:150%'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Educational Background</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:35.3pt; margin-bottom:.0001pt'><span lang=EN-US style='mso-ansi-language:EN-US'>2010-now,<span style='mso-spacerun:yes'>  </span>PhD student in Computer Science, University of <span class=SpellE>Twente</span>, the Netherlands<o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:35.3pt; margin-bottom:.0001pt'><span lang=EN-US style='mso-ansi-language:EN-US'>2007-2009, Master of Science in Telecommunications, <st1:PlaceName w:st="on">Delft</st1:PlaceName> <st1:PlaceType w:st="on">University</st1:PlaceType> of Technology, the <st1:place w:st="on"><st1:country-region w:st="on">Netherlands</st1:country-region></st1:place><o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:35.3pt; margin-bottom:.0001pt'><span lang=EN-US style='mso-ansi-language:EN-US'>2000-2005, Bachelor of Science in Telecommunications, <span class=SpellE>Danang</span> <st1:place w:st="on"><st1:City w:st="on">University of Technology</st1:City>, <st1:country-region w:st="on">Vietnam</st1:country-region></st1:place><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Publications</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt; margin-bottom:.0001pt;text-indent:-.7pt;line-height:150%'><span lang=EN-US style='mso-ansi-language:EN-US'>T.M. Ngo, J. H. Weber, K.A.S. Abdel-<span class=SpellE>Ghaffar</span>, <i>New Upper Bounds on the Separating Redundancy of Linear Block Codes</i>, 30<sup>th</sup> Symposium on Information Theory in the Benelux, <span class=SpellE>Einhoven</span>, the Netherlands, 28-29 June, 2009, <a href="Ngo-WIC30-1.pdf"><span class=SpellE>pdf</span></a>.<o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt; margin-bottom:.0001pt;text-indent:-.7pt;line-height:150%'><span lang=EN-US style='mso-ansi-language:EN-US'>T.M. Ngo, Verification of Confidentiality of Multi-threaded Programs, IPA PhD Workshop, <span class=SpellE>Veldhoven</span>, the Netherlands, 01-03 Now, 2010, <a href="Abstract1.pdf"><span class=SpellE>pdf</span></a>.<o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt; margin-bottom:.0001pt;text-indent:-.7pt;line-height:150%'><span lang=EN-US style='mso-ansi-language:EN-US'>M. Huisman and T.M. Ngo, Scheduler-specific Confidentiality for Multi-threaded Programs and Its logic-based Verification, <span class=SpellE>FoVeOOS</span> 2011, Turin, Italy, 05-07 Oct, 2011, <a href="FoVeOOS-Post23.pdf">Post-Proceedings</a>, and a <a href="FoVeOOS-full%20version.pdf">full version</a>. Part of this paper has been presented at <span class=SpellE>SecCo</span> 2011, Aachen, Germany, <span class=GramE>05</span> Sept. <o:p></o:p></span></p> <p style='margin-top:5.0pt;margin-right:0cm;margin-bottom:0cm;margin-left:36.0pt; margin-bottom:.0001pt;text-indent:-.7pt;line-height:150%'><span lang=EN-US style='mso-ansi-language:EN-US'><o:p>&nbsp;</o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt'><b><span lang=EN-US style='mso-ansi-language:EN-US'>Hobbies</span></b><span lang=EN-US style='mso-ansi-language:EN-US'><o:p></o:p></span></p> <p style='margin-bottom:0cm;margin-bottom:.0001pt;text-indent:38.15pt'><span lang=EN-US style='mso-ansi-language:EN-US'>Movies<span style='color:white'>--------</span>Photography<span style='color:white'>--------</span>Swimming<o:p></o:p></span></p> </div> </body> </html>