equal
  deleted
  inserted
  replaced
  
    
    
    39   | 
    39   | 
    40 <H4>Note that besides being a lecturer at the theoretical end of Computer Science, I am also a passionate  | 
    40 <H4>Note that besides being a lecturer at the theoretical end of Computer Science, I am also a passionate  | 
    41     <A HREF="http://en.wikipedia.org/wiki/Hacker_(programmer_subculture)">hacker</A> …  | 
    41     <A HREF="http://en.wikipedia.org/wiki/Hacker_(programmer_subculture)">hacker</A> …  | 
    42     defined as “a person who enjoys exploring the details of programmable systems and   | 
    42     defined as “a person who enjoys exploring the details of programmable systems and   | 
    43     stretching their capabilities, as opposed to most users, who prefer to learn only the minimum   | 
    43     stretching their capabilities, as opposed to most users, who prefer to learn only the minimum   | 
    44     necessary.” I am always happy to supervise like-minded students. In 2013/14, I was nominated by the students  | 
    44     necessary.” I am always happy to supervise like-minded students.  | 
         | 
    45   | 
         | 
    46     <p>In 2013/14, I was nominated by the students  | 
    45     for the best BSc project supervisor and best MSc project supervisor awards in the NMS faculty. Somehow I won both ;o)</H4>    | 
    47     for the best BSc project supervisor and best MSc project supervisor awards in the NMS faculty. Somehow I won both ;o)</H4>    | 
    46   | 
    48   | 
    47 <ul class="striped">  | 
    49 <ul class="striped">  | 
    48 <li> <H4>[CU1] Regular Expression Matching, Lexing and Derivatives</H4>  | 
    50 <li> <H4>[CU1] Regular Expression Matching, Lexing and Derivatives</H4>  | 
    49   | 
    51   | 
   602 </TD>  | 
   604 </TD>  | 
   603 </TR>  | 
   605 </TR>  | 
   604 </TABLE>  | 
   606 </TABLE>  | 
   605   | 
   607   | 
   606 <P>  | 
   608 <P>  | 
   607 <!-- hhmts start --> Last modified: Fri Dec 12 13:18:02 GMT 2014 <!-- hhmts end -->  | 
   609 <!-- hhmts start --> Last modified: Fri Dec 12 13:19:29 GMT 2014 <!-- hhmts end -->  | 
   608 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>  | 
   610 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>  | 
   609 </BODY>  | 
   611 </BODY>  | 
   610 </HTML>  | 
   612 </HTML>  |