equal
deleted
inserted
replaced
167 <A HREF="http://en.wikipedia.org/wiki/Standard_ML">ML</A>, |
167 <A HREF="http://en.wikipedia.org/wiki/Standard_ML">ML</A>, |
168 <A HREF="http://haskell.org/haskellwiki/Haskell">Haskell</A>, etc. Python and other non-functional languages |
168 <A HREF="http://haskell.org/haskellwiki/Haskell">Haskell</A>, etc. Python and other non-functional languages |
169 can be also used, but seem much less convenient. If you do attend my Compilers and Formal Languages |
169 can be also used, but seem much less convenient. If you do attend my Compilers and Formal Languages |
170 module, that would obviously give you a head-start with this project. |
170 module, that would obviously give you a head-start with this project. |
171 </p> |
171 </p> |
|
172 |
|
173 <li> <H4>[CU5] Grammars and Derivative-Based Parsing Algorithms</H4> |
|
174 |
|
175 <A HREF="https://www.cl.cam.ac.uk/~jdy22/papers/a-typed-algebraic-approach-to-parsing.pdf">paper</A> |
172 |
176 |
173 <li> <H4>[CU2] A Compiler for a small Programming Language</H4> |
177 <li> <H4>[CU2] A Compiler for a small Programming Language</H4> |
174 |
178 |
175 <p> |
179 <p> |
176 <b>Description:</b> |
180 <b>Description:</b> |
469 <source src="https://nms.kcl.ac.uk/christian.urban/h3.mp4"> |
473 <source src="https://nms.kcl.ac.uk/christian.urban/h3.mp4"> |
470 Your browser does not support the video tag. |
474 Your browser does not support the video tag. |
471 </video> |
475 </video> |
472 </center> |
476 </center> |
473 |
477 |
474 <li> <H4>[CU5] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
478 <li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
475 |
479 |
476 <p> |
480 <p> |
477 <B>Description:</B> |
481 <B>Description:</B> |
478 The project aim is to implement an infrastructure for displaying and |
482 The project aim is to implement an infrastructure for displaying and |
479 animating code in a web-browser. The infrastructure should be agnostic |
483 animating code in a web-browser. The infrastructure should be agnostic |
497 Good skills in lexing and language parsing, as well as being fluent with web programming (for |
501 Good skills in lexing and language parsing, as well as being fluent with web programming (for |
498 example JavaScript). |
502 example JavaScript). |
499 </p> |
503 </p> |
500 |
504 |
501 |
505 |
502 <li> <H4>[CU6] Proving the Correctness of Programs</H4> |
506 <li> <H4>[CU7] Proving the Correctness of Programs</H4> |
503 |
507 |
504 <p> |
508 <p> |
505 I am one of the main developers of the interactive theorem prover |
509 I am one of the main developers of the interactive theorem prover |
506 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
510 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
507 has been used to establish the correctness of some quite large |
511 has been used to establish the correctness of some quite large |
531 <p> |
535 <p> |
532 <B>Skills:</B> |
536 <B>Skills:</B> |
533 This project is for a very good student with a knack for theoretical things and formal reasoning. |
537 This project is for a very good student with a knack for theoretical things and formal reasoning. |
534 </p> |
538 </p> |
535 |
539 |
536 <li> <H4>[CU7] Anything Security Related that is Interesting</H4> |
540 <li> <H4>[CU8] Anything Security Related that is Interesting</H4> |
537 |
541 |
538 <p> |
542 <p> |
539 If you have your own project that is related to security (must be |
543 If you have your own project that is related to security (must be |
540 something interesting), please propose it. We can then have a look |
544 something interesting), please propose it. We can then have a look |
541 whether it would be suitable for a project. |
545 whether it would be suitable for a project. |