equal
deleted
inserted
replaced
395 <B>Description:</B> |
395 <B>Description:</B> |
396 This project is for true hackers! <A HREF="http://en.wikipedia.org/wiki/Raspberry_Pi">Raspberry Pi's</A> |
396 This project is for true hackers! <A HREF="http://en.wikipedia.org/wiki/Raspberry_Pi">Raspberry Pi's</A> |
397 are small Linux computers the size of a credit-card and only cost £34 (see picture on the left below). They were introduced |
397 are small Linux computers the size of a credit-card and only cost £34 (see picture on the left below). They were introduced |
398 in 2012 and people went crazy...well some of them. There is a |
398 in 2012 and people went crazy...well some of them. There is a |
399 <A HREF="https://plus.google.com/communities/113390432655174294208?hl=en">Google+</A> community about Raspberry Pi's that has more |
399 <A HREF="https://plus.google.com/communities/113390432655174294208?hl=en">Google+</A> community about Raspberry Pi's that has more |
400 than 172k of followers. It is hard to keep up with what people do with these small computers. The possibilities |
400 than 177k of followers. It is hard to keep up with what people do with these small computers. The possibilities |
401 seem to be limitless. The main resource for Raspberry Pi's is <A HREF="http://www.raspberrypi.org">here</A>. |
401 seem to be limitless. The main resource for Raspberry Pi's is <A HREF="http://www.raspberrypi.org">here</A>. |
402 There are <A HREF="http://www.themagpi.com">magazines</A> dedicated to them and tons of |
402 There are <A HREF="http://www.themagpi.com">magazines</A> dedicated to them and tons of |
403 <A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=39">books</A> (not to mention |
403 <A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=39">books</A> (not to mention |
404 floods of <A HREF="https://www.google.co.uk/search?q=raspberry+pi">online</A> material). |
404 floods of <A HREF="https://www.google.co.uk/search?q=raspberry+pi">online</A> material). |
405 Google just released a |
405 Google just released a |
454 </center> |
454 </center> |
455 </p> |
455 </p> |
456 |
456 |
457 <p> |
457 <p> |
458 <B>Skills:</B> |
458 <B>Skills:</B> |
459 Well, you must be a hacker; happy to make things. Your desk might look like on the photo on the left. |
459 Well, you must be a hacker; happy to make things. Your desk might look like on the photo below on the left. |
460 The right photo shows an earlier student project which connects wirelessly a wearable Arduino (packaged |
460 The photo below on the righ shows an earlier student project which connects wirelessly a wearable Arduino (packaged |
461 in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino takes meaurements of |
461 in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the forground takes meaurements of |
462 heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple |
462 heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple |
463 web-service. |
463 web-service. |
464 <center> |
464 <center> |
465 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
465 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
466 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="209" height="313"> |
466 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="209" height="313"> |
468 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
468 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
469 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254"> |
469 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254"> |
470 </center> |
470 </center> |
471 </p> |
471 </p> |
472 |
472 |
473 <li> <H4>[CU6] Generating Testcases from a Specification</H4> |
473 <li> <H4>[CU6] Language Translator into JavaScript</H4> |
474 |
|
475 <li> <H4>[CU7] GPRS + GPS for Arduinos</H4> |
|
476 |
|
477 <li> <H4>[CU8] Language Translator into JavaScript</H4> |
|
478 |
474 |
479 <p> |
475 <p> |
480 <b>Description:</b> |
476 <b>Description:</b> |
481 <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most |
477 <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most |
482 browsers and therefore is a favourite |
478 browsers and therefore is a favourite |
515 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. |
511 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. |
516 </p> |
512 </p> |
517 |
513 |
518 |
514 |
519 |
515 |
520 <li> <H4>[CU9] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
516 <li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
521 |
517 |
522 <p> |
518 <p> |
523 <B>Description:</B> |
519 <B>Description:</B> |
524 The project aim is to implement an infrastructure for displaying and |
520 The project aim is to implement an infrastructure for displaying and |
525 animating code in a web-browser. The infrastructure should be agnostic |
521 animating code in a web-browser. The infrastructure should be agnostic |
543 Good skill in lexing and language parsing, as well as being fluent with web programming (for |
539 Good skill in lexing and language parsing, as well as being fluent with web programming (for |
544 example JavaScript). |
540 example JavaScript). |
545 </p> |
541 </p> |
546 |
542 |
547 |
543 |
548 <li> <H4>[CU10] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4> |
544 <li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4> |
549 |
545 |
550 <p> |
546 <p> |
551 <B>Description:</B> |
547 <B>Description:</B> |
552 There are many algorithms for synchronising clocks. This |
548 There are many algorithms for synchronising clocks. This |
553 <A HREF="http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120000054_2011025573.pdf">paper</A> |
549 <A HREF="http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20120000054_2011025573.pdf">paper</A> |
575 <A HREF="http://akka.io">Akka</a> library. This library enables you to send messages |
571 <A HREF="http://akka.io">Akka</a> library. This library enables you to send messages |
576 between different <I>actors</I>. <A HREF="http://www.scala-lang.org/node/242">Here</A> |
572 between different <I>actors</I>. <A HREF="http://www.scala-lang.org/node/242">Here</A> |
577 are some examples that explain how to implement exchanging messages between actors. |
573 are some examples that explain how to implement exchanging messages between actors. |
578 </p> |
574 </p> |
579 |
575 |
580 <li> <H4>[CU11] Proving the Correctness of Programs</H4> |
576 <li> <H4>[CU9] Proving the Correctness of Programs</H4> |
581 |
577 |
582 <p> |
578 <p> |
583 I am one of the main developers of the interactive theorem prover |
579 I am one of the main developers of the interactive theorem prover |
584 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
580 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
585 has been used to establish the correctness of some quite large |
581 has been used to establish the correctness of some quite large |
622 </TD> |
618 </TD> |
623 </TR> |
619 </TR> |
624 </TABLE> |
620 </TABLE> |
625 |
621 |
626 <P> |
622 <P> |
627 <!-- hhmts start --> Last modified: Sun Nov 9 22:00:13 GMT 2014 <!-- hhmts end --> |
623 <!-- hhmts start --> Last modified: Sun Nov 9 22:11:58 GMT 2014 <!-- hhmts end --> |
628 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
624 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
629 </BODY> |
625 </BODY> |
630 </HTML> |
626 </HTML> |