msc-projects-15.html
changeset 465 4dac76eb27d9
parent 439 e53441994412
equal deleted inserted replaced
464:ae516c20c5f1 465:4dac76eb27d9
     1 <?xml version="1.0" encoding="utf-8"?>
     1 <?xml version="1.0" encoding="utf-8"?>
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
     3 <HEAD>
     3 <HEAD>
     4 <TITLE>2015/16 MSc Projects</TITLE>
     4 <TITLE>2015/16 MSc Projects</TITLE>
     5 <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
     5 <BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
     6 <script type="text/javascript" src="striper.js"></script>
     6 <script type="text/javascript" src="striper.js"></script>
     7 <link rel="stylesheet" href="nominal.css">
     7 <link rel="stylesheet" href="nominal.css">
     8 <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
     8 <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
     9 </script>
     9 </script>
    10 </HEAD>
    10 </HEAD>
   110   (for example subexpression matching, which my rainy-afternoon matcher cannot). I am sure they thought
   110   (for example subexpression matching, which my rainy-afternoon matcher cannot). I am sure they thought
   111   about the problem much longer than a single afternoon. The task 
   111   about the problem much longer than a single afternoon. The task 
   112   in this project is to find out how good they actually are by implementing the results from their paper. 
   112   in this project is to find out how good they actually are by implementing the results from their paper. 
   113   Their approach to regular expression matching is also based on the concept of derivatives.
   113   Their approach to regular expression matching is also based on the concept of derivatives.
   114   I used derivatives very successfully once for something completely different in a
   114   I used derivatives very successfully once for something completely different in a
   115   <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">paper</A> 
   115   <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> 
   116   about the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>.
   116   about the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>.
   117   So I know they are worth their money. Still, it would be interesting to actually compare their results
   117   So I know they are worth their money. Still, it would be interesting to actually compare their results
   118   with my simple rainy-afternoon matcher and potentially &ldquo;blow away&rdquo; the regular expression matchers 
   118   with my simple rainy-afternoon matcher and potentially &ldquo;blow away&rdquo; the regular expression matchers 
   119   in Python and Ruby (and possibly in Scala too). The application would be to implement a fast lexer for
   119   in Python and Ruby (and possibly in Scala too). The application would be to implement a fast lexer for
   120   programming languages. 
   120   programming languages. 
   470   in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the forground takes meaurements of 
   470   in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the forground takes meaurements of 
   471   heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple
   471   heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple
   472   web-service.
   472   web-service.
   473   <center>
   473   <center>
   474   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
   474   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
   475   "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="209" height="313">
   475   "src="http://nms.kcl.ac.uk/christian.urban/rpi-photo.jpg" width="209" height="313">
   476 
   476 
   477   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
   477   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
   478   "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254">
   478   "src="http://nms.kcl.ac.uk/christian.urban/rpi-watch.jpg" width="450" height="254">
   479   </center>
   479   </center>
   480   </p>
   480   </p>
   481 
   481 
   482 <li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   482 <li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   483   
   483   
   556  algorithm switched on and it almost caused a catastrophic mission failure (see
   556  algorithm switched on and it almost caused a catastrophic mission failure (see
   557  this youtube video <A HREF="http://www.youtube.com/watch?v=lyx7kARrGeM">here</A>
   557  this youtube video <A HREF="http://www.youtube.com/watch?v=lyx7kARrGeM">here</A>
   558  for an explanation what happened).
   558  for an explanation what happened).
   559  We were able to prove the correctness of this algorithm, but were also able to
   559  We were able to prove the correctness of this algorithm, but were also able to
   560  establish the correctness of some optimisations in this
   560  establish the correctness of some optimisations in this
   561  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">paper</A>.
   561  <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">paper</A>.
   562  </p>
   562  </p>
   563 
   563 
   564  <p>On a much smaller scale, there are a few small programs and underlying algorithms where it
   564  <p>On a much smaller scale, there are a few small programs and underlying algorithms where it
   565  is not really understood whether they always compute a correct result (for example the
   565  is not really understood whether they always compute a correct result (for example the
   566  regular expression matcher by Sulzmann and Lu in project [CU1]). The aim of this
   566  regular expression matcher by Sulzmann and Lu in project [CU1]). The aim of this
   608 
   608 
   609 
   609 
   610 <li> <H4>Earlier Projects</H4>
   610 <li> <H4>Earlier Projects</H4>
   611 
   611 
   612  I am also open to project suggestions from you. You might find some inspiration from my earlier projects:
   612  I am also open to project suggestions from you. You might find some inspiration from my earlier projects:
   613  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-12.html">BSc 2012/13</A>, 
   613  <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-12.html">BSc 2012/13</A>, 
   614  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-12.html">MSc 2012/13</A>, 
   614  <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-12.html">MSc 2012/13</A>, 
   615  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-13.html">BSc 2013/14</A>
   615  <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-13.html">BSc 2013/14</A>
   616  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-13.html">MSc 2013/14</A> 
   616  <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-13.html">MSc 2013/14</A> 
   617  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-14.html">BSc 2014/15</A>
   617  <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-14.html">BSc 2014/15</A>
   618  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-14.html">MSc 2014/15</A> 
   618  <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-14.html">MSc 2014/15</A> 
   619 </ul>
   619 </ul>
   620 </TD>
   620 </TD>
   621 </TR>
   621 </TR>
   622 </TABLE>
   622 </TABLE>
   623 
   623