equal
deleted
inserted
replaced
239 But if Scala is a problem, my code can also be translated quickly into any other functional |
239 But if Scala is a problem, my code can also be translated quickly into any other functional |
240 language. |
240 language. |
241 </p> |
241 </p> |
242 |
242 |
243 <p> |
243 <p> |
244 <B>PS:</B> Compiler projects, like this one or [CU6], consistently received high marks in the past. |
244 <B>PS:</B> Compiler projects, like this one or [CU8], consistently received high marks in the past. |
245 I suprvised four so far and none of them received a mark below 70% - one even was awarded a prize. |
245 I suprvised four so far and none of them received a mark below 70% - one even was awarded a prize. |
246 </p> |
246 </p> |
247 |
247 |
248 <li> <H4>[CU3] Slide-Making in the Web-Age</H4> |
248 <li> <H4>[CU3] Slide-Making in the Web-Age</H4> |
249 |
249 |
467 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
467 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
468 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254"> |
468 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254"> |
469 </center> |
469 </center> |
470 </p> |
470 </p> |
471 |
471 |
472 <li> <H4>[CU6] Language Translator into JavaScript</H4> |
472 <li> <H4>[CU6] Generating Testcases from a Specification</H4> |
|
473 |
|
474 <li> <H4>[CU7] GPRS + GPS for Arduinos</H4> |
|
475 |
|
476 <li> <H4>[CU8] Language Translator into JavaScript</H4> |
473 |
477 |
474 <p> |
478 <p> |
475 <b>Description:</b> |
479 <b>Description:</b> |
476 <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most |
480 <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most |
477 browsers and therefore is a favourite |
481 browsers and therefore is a favourite |
510 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. |
514 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. |
511 </p> |
515 </p> |
512 |
516 |
513 |
517 |
514 |
518 |
515 <li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
519 <li> <H4>[CU9] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
516 |
520 |
517 <p> |
521 <p> |
518 <B>Description:</B> |
522 <B>Description:</B> |
519 The project aim is to implement an infrastructure for displaying and |
523 The project aim is to implement an infrastructure for displaying and |
520 animating code in a web-browser. The infrastructure should be agnostic |
524 animating code in a web-browser. The infrastructure should be agnostic |
538 Good skill in lexing and language parsing, as well as being fluent with web programming (for |
542 Good skill in lexing and language parsing, as well as being fluent with web programming (for |
539 example JavaScript). |
543 example JavaScript). |
540 </p> |
544 </p> |
541 |
545 |
542 |
546 |
543 <li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4> |
547 <li> <H4>[CU10] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4> |
544 |
548 |
545 <p> |
549 <p> |
546 <B>Description:</B> |
550 <B>Description:</B> |
547 There are many algorithms for synchronising clocks. This |
551 There are many algorithms for synchronising clocks. This |
548 <A HREF="http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120000054_2011025573.pdf">paper</A> |
552 <A HREF="http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120000054_2011025573.pdf">paper</A> |
570 <A HREF="http://akka.io">Akka</a> library. This library enables you to send messages |
574 <A HREF="http://akka.io">Akka</a> library. This library enables you to send messages |
571 between different <I>actors</I>. <A HREF="http://www.scala-lang.org/node/242">Here</A> |
575 between different <I>actors</I>. <A HREF="http://www.scala-lang.org/node/242">Here</A> |
572 are some examples that explain how to implement exchanging messages between actors. |
576 are some examples that explain how to implement exchanging messages between actors. |
573 </p> |
577 </p> |
574 |
578 |
575 <li> <H4>[CU9] Proving the Correctness of Programs</H4> |
579 <li> <H4>[CU11] Proving the Correctness of Programs</H4> |
576 |
580 |
577 <p> |
581 <p> |
578 I am one of the main developers of the interactive theorem prover |
582 I am one of the main developers of the interactive theorem prover |
579 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
583 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
580 has been used to establish the correctness of some quite large |
584 has been used to establish the correctness of some quite large |
616 </TD> |
620 </TD> |
617 </TR> |
621 </TR> |
618 </TABLE> |
622 </TABLE> |
619 |
623 |
620 <P> |
624 <P> |
621 <!-- hhmts start --> Last modified: Sun Sep 21 13:57:08 BST 2014 <!-- hhmts end --> |
625 <!-- hhmts start --> Last modified: Wed Oct 1 12:02:06 BST 2014 <!-- hhmts end --> |
622 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
626 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
623 </BODY> |
627 </BODY> |
624 </HTML> |
628 </HTML> |