|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 <HEAD> |
|
4 <TITLE>2018/19 BSc Projects</TITLE> |
|
5 <BASE HREF="https://nms.kcl.ac.uk/christian.urban/"> |
|
6 <script type="text/javascript" src="striper.js"></script> |
|
7 <link rel="stylesheet" href="nominal.css"> |
|
8 <script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-MML-AM_CHTML"> |
|
9 </script> |
|
10 </HEAD> |
|
11 <BODY TEXT="#000000" |
|
12 BGCOLOR="#4169E1" |
|
13 LINK="#0000EF" |
|
14 VLINK="#51188E" |
|
15 ALINK="#FF0000" |
|
16 ONLOAD="striper('ul','striped','li','first,second')"> |
|
17 |
|
18 |
|
19 |
|
20 <TABLE WIDTH="100%" |
|
21 BGCOLOR="#4169E1" |
|
22 BORDER="0" |
|
23 FRAME="border" |
|
24 CELLPADDING="10" |
|
25 CELLSPACING="2" |
|
26 RULES="all"> |
|
27 |
|
28 <TR> |
|
29 <TD BGCOLOR="#FFFFFF" |
|
30 WIDTH="75%" |
|
31 VALIGN="TOP"> |
|
32 |
|
33 <H2>2018/19 BSc Projects</H2> |
|
34 <H4>Supervisor: Christian Urban</H4> |
|
35 <H4>Email: christian dot urban at kcl dot ac dot uk, Office: Bush House N7.07</H4> |
|
36 <H4>If you are interested in a project, please send me an email and we can discuss details. Please include |
|
37 a short description about your programming skills and Computer Science background in your first email. |
|
38 Thanks.</H4> |
|
39 |
|
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> … |
|
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 |
|
44 necessary.” I am always happy to supervise like-minded students. |
|
45 </H4> |
|
46 |
|
47 <H4>In 2013/14, I was nominated by the students |
|
48 for the best BSc project supervisor and best MSc project supervisor awards in the NMS |
|
49 faculty. Somehow I won both. In 2014/15 I was nominated again for the best MSc |
|
50 project supervisor, but did not win it. ;o) |
|
51 </H4> |
|
52 |
|
53 <ul class="striped"> |
|
54 <li> <H4>[CU1] Regular Expressions, Lexing and Derivatives</H4> |
|
55 |
|
56 <p> |
|
57 <B>Description:</b> |
|
58 <A HREF="http://en.wikipedia.org/wiki/Regular_expression">Regular expressions</A> |
|
59 are extremely useful for many text-processing tasks, such as finding patterns in hostile network traffic, |
|
60 lexing programs, syntax highlighting and so on. Given that regular expressions were |
|
61 introduced in 1950 by <A HREF="http://en.wikipedia.org/wiki/Stephen_Cole_Kleene">Stephen Kleene</A>, |
|
62 you might think regular expressions have since been studied and implemented to death. But you would definitely be |
|
63 mistaken: in fact they are still an active research area. On the top of my head, I can give |
|
64 you at least ten research papers that appeared in the last few years. |
|
65 For example |
|
66 <A HREF="http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf">this paper</A> |
|
67 about regular expression matching and derivatives was presented in 2014 at the international |
|
68 FLOPS conference. Another <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">paper</A> by my PhD student and me was presented in 2016 |
|
69 at the international ITP conference. |
|
70 The task in this project is to implement these results and use them for lexing.</p> |
|
71 |
|
72 <p>The background for this project is that some regular expressions are |
|
73 “<A HREF="http://en.wikipedia.org/wiki/ReDoS#Examples">evil</A>” |
|
74 and can “stab you in the back” according to |
|
75 this <A HREF="http://peterscott.github.io/2013/01/17/regular-expressions-will-stab-you-in-the-back/">blog post</A>. |
|
76 For example, if you use in <A HREF="http://www.python.org">Python</A> or |
|
77 in <A HREF="http://www.ruby-lang.org/en/">Ruby</A> (or also in a number of other mainstream programming languages) the |
|
78 innocently looking regular expression <code>a?{28}a{28}</code> and match it, say, against the string |
|
79 <code>aaaaaaaaaaaaaaaaaaaaaaaaaaaa</code> (that is 28 <code>a</code>s), you will soon notice that your CPU usage goes to 100%. In fact, |
|
80 Python and Ruby need approximately 30 seconds of hard work for matching this string. You can try it for yourself: |
|
81 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/catastrophic.py">catastrophic.py</A> (Python version) and |
|
82 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/catastrophic.rb">catastrophic.rb</A> |
|
83 (Ruby version). Here is a similar problem in Java: <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/catastrophic.rb">catastrophic.java</A> |
|
84 </p> |
|
85 |
|
86 <p> |
|
87 You can imagine an attacker |
|
88 mounting a nice <A HREF="http://en.wikipedia.org/wiki/Denial-of-service_attack">DoS attack</A> against |
|
89 your program if it contains such an “evil” regular expression. But it can also happen by accident: |
|
90 on 20 July 2016 the website <A HREF="http://stackstatus.net/post/147710624694/outage-postmortem-july-20-2016">Stack Exchange</A> |
|
91 was knocked offline because of an evil regular expression. One of their engineers talks about this in this |
|
92 <A HREF="https://vimeo.com/112065252">video</A>. A similar problem needed to be fixed in the |
|
93 <A HREF="http://davidvgalbraith.com/how-i-fixed-atom/">Atom</A> editor. |
|
94 A few implementations of regular expression matchers are almost immune from such problems. |
|
95 For example, <A HREF="http://www.scala-lang.org/">Scala</A> can deal with strings of up to 4,300 <code>a</code>s in less than a second. But if you scale |
|
96 the regular expression and string further to, say, 4,600 <code>a</code>s, then you get a <code>StackOverflowError</code> |
|
97 potentially crashing your program. Moreover (beside the "minor" problem of being painfully slow) according to this |
|
98 <A HREF="http://www.haskell.org/haskellwiki/Regex_Posix">report</A> |
|
99 nearly all regular expression matchers using the POSIX rules are actually buggy. |
|
100 </p> |
|
101 |
|
102 <p> |
|
103 On a rainy afternoon, I implemented |
|
104 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/afl-material/raw-file/tip/progs/re3.scala">this</A> |
|
105 regular expression matcher in Scala. It is not as fast as the official one in Scala, but |
|
106 it can match up to 11,000 <code>a</code>s in less than 5 seconds without raising any exception |
|
107 (remember Python and Ruby both need nearly 30 seconds to process 28(!) <code>a</code>s, and Scala's |
|
108 official matcher maxes out at 4,600 <code>a</code>s). My matcher is approximately |
|
109 85 lines of code and based on the concept of |
|
110 <A HREF="http://lambda-the-ultimate.org/node/2293">derivatives of regular expressions</A>. |
|
111 These derivatives were introduced in 1964 by <A HREF="http://en.wikipedia.org/wiki/Janusz_Brzozowski_(computer_scientist)"> |
|
112 Janusz Brzozowski</A>, but according to this |
|
113 <A HREF="https://www.cs.kent.ac.uk/people/staff/sao/documents/jfp09.pdf">paper</A> had been lost in the “sands of time”. |
|
114 The advantage of derivatives is that they side-step completely the usual |
|
115 <A HREF="http://hackingoff.com/compilers/regular-expression-to-nfa-dfa">translations</A> of regular expressions |
|
116 into NFAs or DFAs, which can introduce the exponential behaviour exhibited by the regular |
|
117 expression matchers in Python, Java and Ruby. |
|
118 </p> |
|
119 |
|
120 <p> |
|
121 Now the authors from the |
|
122 <A HREF="http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf">FLOPS'14-paper</A> mentioned |
|
123 above claim they are even faster than me and can deal with even more features of regular expressions |
|
124 (for example subexpression matching, which my rainy-afternoon matcher cannot). I am sure they thought |
|
125 about the problem much longer than a single afternoon. The task |
|
126 in this project is to find out how good they actually are by implementing the results from their paper. |
|
127 Their approach to regular expression matching is also based on the concept of derivatives. |
|
128 I used derivatives very successfully once for something completely different in a |
|
129 <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> |
|
130 about the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>. |
|
131 So I know they are worth their money. Still, it would be interesting to actually compare their results |
|
132 with my simple rainy-afternoon matcher and potentially “blow away” the regular expression matchers |
|
133 in Python, Ruby and Java (and possibly in Scala too). The application would be to implement a fast lexer for |
|
134 programming languages, or improve the network traffic analysers in the tools <A HREF="https://www.snort.org">Snort</A> and |
|
135 <A HREF="https://www.bro.org">Bro</A>. |
|
136 </p> |
|
137 |
|
138 <p> |
|
139 <B>Literature:</B> |
|
140 The place to start with this project is obviously this |
|
141 <A HREF="http://www.home.hs-karlsruhe.de/~suma0002/publications/regex-parsing-derivatives.pdf">paper</A> |
|
142 and this <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">one</A>. |
|
143 Traditional methods for regular expression matching are explained |
|
144 in the Wikipedia articles |
|
145 <A HREF="http://en.wikipedia.org/wiki/DFA_minimization">here</A> and |
|
146 <A HREF="http://en.wikipedia.org/wiki/Powerset_construction">here</A>. |
|
147 The authoritative <A HREF="http://infolab.stanford.edu/~ullman/ialc.html">book</A> |
|
148 on automata and regular expressions is by John Hopcroft and Jeffrey Ullmann (available in the library). |
|
149 There is also an online course about this topic by Ullman at |
|
150 <A HREF="https://www.coursera.org/course/automata">Coursera</A>, though IMHO not |
|
151 done with love. |
|
152 There are millions of other pointers about regular expression |
|
153 matching on the Web. I found the chapter on Lexing in this |
|
154 <A HREF="http://www.diku.dk/~torbenm/Basics/">online book</A> very helpful. Finally, it will |
|
155 be of great help for this project to take part in my Compiler and Formal Language module (6CCS3CFL). |
|
156 Test cases for “<A HREF="http://en.wikipedia.org/wiki/ReDoS#Examples">evil</A>” |
|
157 regular expressions can be obtained from <A HREF="http://www.haskell.org/haskellwiki/Regex_Posix">here</A>. |
|
158 </p> |
|
159 |
|
160 <p> |
|
161 <B>Skills:</B> |
|
162 This is a project for a student with an interest in theory and with |
|
163 good programming skills. The project can be easily implemented |
|
164 in functional languages like |
|
165 <A HREF="http://www.scala-lang.org/">Scala</A>, |
|
166 <A HREF="http://fsharp.org">F#</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 |
|
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. |
|
171 </p> |
|
172 |
|
173 <li> <H4>[CU2] A Compiler for a small Programming Language</H4> |
|
174 |
|
175 <p> |
|
176 <b>Description:</b> |
|
177 Compilers translate high-level programs that humans can read and write into |
|
178 efficient machine code that can be run on a CPU or virtual machine. |
|
179 A compiler for a simple functional language generating X86 code is described |
|
180 <A HREF="https://libraries.io/github/chameco/Shade">here</A>. |
|
181 I recently implemented a very simple compiler for an even simpler functional |
|
182 programming language following this |
|
183 <A HREF="https://www.cs.princeton.edu/~dpw/papers/tal-toplas.pdf">paper</A> |
|
184 (also described <A HREF="https://www.cs.princeton.edu/~dpw/papers/tal-tr.pdf">here</A>). |
|
185 My code, written in <A HREF="http://www.scala-lang.org/">Scala</A>, of this compiler is |
|
186 <A HREF="https://nms.kcl.ac.uk/christian.urban/compiler.scala">here</A>. |
|
187 The compiler can deal with simple programs involving natural numbers, such |
|
188 as Fibonacci numbers or factorial (but it can be easily extended - that is not the point). |
|
189 </p> |
|
190 |
|
191 <p> |
|
192 While the hard work has been done (understanding the two papers above), |
|
193 my compiler only produces some idealised machine code. For example I |
|
194 assume there are infinitely many registers. The goal of this |
|
195 project is to generate machine code that is more realistic and can |
|
196 run on a CPU, like X86, or run on a virtual machine, say the JVM. |
|
197 This gives probably a speedup of thousand times in comparison to |
|
198 my naive machine code and virtual machine. The project |
|
199 requires to dig into the literature about real CPUs and generating |
|
200 real machine code. |
|
201 </p> |
|
202 <p> |
|
203 An alternative is to not generate machine code, but build a compiler that compiles to |
|
204 <A HREF="http://www.w3schools.com/js/">JavaScript</A>. This is the language that is supported by most |
|
205 browsers and therefore is a favourite |
|
206 vehicle for Web-programming. Some call it <B>the</B> scripting language of the Web. |
|
207 Unfortunately, JavaScript is also probably one of the worst |
|
208 languages to program in (being designed and released in a hurry). <B>But</B> it can be used as a convenient target |
|
209 for translating programs from other languages. In particular there are two |
|
210 very optimised subsets of JavaScript that can be used for this purpose: |
|
211 one is <A HREF="http://asmjs.org">asm.js</A> and the other is |
|
212 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. Since |
|
213 last year there is even the official <A HREF="http://webassembly.org">Webassembly</A> |
|
214 There is a <A HREF="http://kripken.github.io/emscripten-site/docs/getting_started/Tutorial.html">tutorial</A> for emscripten |
|
215 and an impressive <A HREF="https://youtu.be/c2uNDlP4RiE">demo</A> which runs the |
|
216 <A HREF="http://en.wikipedia.org/wiki/Unreal_Engine">Unreal Engine 3</A> |
|
217 in a browser with spectacular speed. This was achieved by compiling the |
|
218 C-code of the Unreal Engine to the LLVM intermediate language and then translating the LLVM |
|
219 code to JavaScript. |
|
220 </p> |
|
221 |
|
222 <p> |
|
223 <B>Literature:</B> |
|
224 There is a lot of literature about compilers |
|
225 (for example <A HREF="http://www.cs.princeton.edu/~appel/papers/cwc.html">this book</A> - |
|
226 I can lend you my copy for the duration of the project, or this |
|
227 <A HREF="http://www.diku.dk/~torbenm/Basics/">online book</A>). A very good overview article |
|
228 about implementing compilers by |
|
229 <A HREF="http://tratt.net/laurie/">Laurie Tratt</A> is |
|
230 <A HREF="http://tratt.net/laurie/tech_articles/articles/how_difficult_is_it_to_write_a_compiler">here</A>. |
|
231 An online book about the Art of Assembly Language is |
|
232 <A HREF="http://flint.cs.yale.edu/cs422/doc/art-of-asm/pdf/">here</A>. |
|
233 An introduction into x86 machine code is <A HREF="http://ianseyler.github.com/easy_x86-64/">here</A>. |
|
234 Intel's official manual for the x86 instruction is |
|
235 <A HREF="http://download.intel.com/design/intarch/manuals/24319101.pdf">here</A>. |
|
236 Two assemblers for the JVM are described <A HREF="http://jasmin.sourceforge.net">here</A> |
|
237 and <A HREF="https://github.com/Storyyeller/Krakatau">here</A>. |
|
238 An interesting twist of this project is to not generate code for a CPU, but |
|
239 for the intermediate language of the <A HREF="http://llvm.org">LLVM</A> compiler |
|
240 (also described <A HREF="http://llvm.org/docs/LangRef.html">here</A>). If you want to see |
|
241 what machine code looks like you can compile your C-program using gcc -S. |
|
242 </p> |
|
243 <p> |
|
244 If JavaScript is chosen as a target instead, then there are plenty of <A HREF="http://www.w3schools.com/js/">tutorials</A> on the Web. |
|
245 <A HREF="http://jsbooks.revolunet.com">Here</A> is a list of free books on JavaScript. |
|
246 A project from which you can draw inspiration is this |
|
247 <A HREF="http://jlongster.com/Outlet--My-Lisp-to-Javascript-Experiment">Lisp-to-JavaScript</A> |
|
248 translator. <A HREF="https://bitbucket.org/ktg/parenjs/overview">Here</A> is another such project. |
|
249 And <A HREF="https://github.com/viclib/liscript">another</A> in less than 100 lines of code. |
|
250 <A HREF="http://en.wikipedia.org/wiki/CoffeeScript">Coffeescript</A> is a similar project |
|
251 except that it is already quite <A HREF="http://coffeescript.org">mature</A>. And finally not to |
|
252 forget <A HREF="http://www.typescriptlang.org">TypeScript</A> developed by Microsoft. The main |
|
253 difference between these projects and this one is that they translate into relatively high-level |
|
254 JavaScript code; none of them use the much lower levels <A HREF="http://asmjs.org">asm.js</A> and |
|
255 <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>. |
|
256 </p> |
|
257 <p> |
|
258 <B>Skills:</B> |
|
259 This is a project for a student with a deep interest in programming languages and |
|
260 compilers. Since my compiler is implemented in <A HREF="http://www.scala-lang.org/">Scala</A>, |
|
261 it would make sense to continue this project in this language. I can be |
|
262 of help with questions and books about <A HREF="http://www.scala-lang.org/">Scala</A>. |
|
263 But if Scala is a problem, my code can also be translated quickly into any other functional |
|
264 language. Again, it will be of great help for this project to take part in |
|
265 my Compiler and Formal Language module (6CCS3CFL). |
|
266 </p> |
|
267 |
|
268 <p> |
|
269 <B>PS:</B> Compiler projects consistently received high marks in the past. |
|
270 I have supervised eight so far and most of them received a mark above 70% - one even was awarded a prize. |
|
271 </p> |
|
272 |
|
273 <li> <H4>[CU3] Slide-Making in the Web-Age</H4> |
|
274 |
|
275 <p> |
|
276 The standard technology for writing scientific papers in Computer Science is to use |
|
277 <A HREF="http://en.wikipedia.org/wiki/LaTeX">LaTeX</A>, a document preparation |
|
278 system originally implemented by <A HREF="http://en.wikipedia.org/wiki/Donald_Knuth">Donald Knuth</A> |
|
279 and <A HREF="http://en.wikipedia.org/wiki/Leslie_Lamport">Leslie Lamport</A>. |
|
280 LaTeX produces very pleasantly looking documents, can deal nicely with mathematical |
|
281 formulas and is very flexible. If you are interested, <A HREF="http://openwetware.org/wiki/Word_vs._LaTeX">here</A> |
|
282 is a side-by-side comparison between Word and LaTeX (which LaTeX “wins” with 18 out of 21 points). |
|
283 Computer scientists not only use LaTeX for documents, |
|
284 but also for slides (really, nobody who wants to be cool uses Keynote or Powerpoint). |
|
285 </p> |
|
286 |
|
287 <p> |
|
288 Although used widely, LaTeX seems nowadays a bit dated for producing |
|
289 slides. Unlike documents, which are typically “static” and published in a book or journal, |
|
290 slides often contain changing contents that might first only be partially visible and |
|
291 only later be revealed as the “story” of a talk or lecture demands. |
|
292 Also slides often contain animated algorithms where each state in the |
|
293 calculation is best explained by highlighting the changing data. |
|
294 </p> |
|
295 |
|
296 <p> |
|
297 It seems HTML and JavaScript are much better suited for generating |
|
298 such animated slides. This <A HREF="http://www.impressivewebs.com/html-slidedeck-toolkits/">page</A> |
|
299 links to slide-generating programs using this combination of technologies. |
|
300 However, the problem with all of these project is that they depend heavily on the users being |
|
301 able to write JavaScript, CCS or HTML...not something one would like to depend on given that |
|
302 “normal” users likely only have a LaTeX background. The aim of this project is to invent a |
|
303 very simple language that is inspired by LaTeX and then generate from code written in this language |
|
304 slides that can be displayed in a web-browser. An example would be the |
|
305 <A HREF="https://www.madoko.net">Madoko</A> project. |
|
306 </p> |
|
307 |
|
308 <p> |
|
309 This sounds complicated, but there is already some help available: |
|
310 <A HREF="http://www.mathjax.org">Mathjax</A> is a JavaScript library that can |
|
311 be used to display mathematical text, for example</p> |
|
312 |
|
313 <blockquote> |
|
314 <p>When \(a \ne 0\), there are two solutions to \(ax^2 + bx + c = 0\) and they are |
|
315 \(x = {-b \pm \sqrt{b^2-4ac} \over 2a}\).</p> |
|
316 </blockquote> |
|
317 |
|
318 <p> |
|
319 by writing code in the familiar LaTeX-way. This can be reused. |
|
320 Another such library is <A HREF="http://khan.github.io/KaTeX/">KaTeX</A>. |
|
321 There are also plenty of JavaScript |
|
322 libraries for graphical animations (for example |
|
323 <A HREF="http://raphaeljs.com">Raphael</A>, |
|
324 <A HREF="http://svgjs.com">SVG.JS</A>, |
|
325 <A HREF="http://bonsaijs.org">Bonsaijs</A>, |
|
326 <A HREF="http://jsxgraph.uni-bayreuth.de/wp/">JSXGraph</A>). The inspiration for how the user should be able to write |
|
327 slides could come from the LaTeX packages <A HREF="http://en.wikipedia.org/wiki/Beamer_(LaTeX)">Beamer</A> |
|
328 and <A HREF="http://en.wikipedia.org/wiki/PGF/TikZ">PGF/TikZ</A>. A slide-making project from which |
|
329 inspiration can be drawn is <A HREF="http://maciejczyzewski.me/hyhyhy/">hyhyhy</A>. |
|
330 </p> |
|
331 |
|
332 <p> |
|
333 <B>Skills:</B> |
|
334 This is a project that requires good knowledge of JavaScript. You need to be able to |
|
335 parse a language and translate it to a suitable part of JavaScript using |
|
336 appropriate libraries. Tutorials for JavaScript are <A HREF="http://www.w3schools.com/js/">here</A>. |
|
337 A parser generator for JavaScript is <A HREF="http://pegjs.majda.cz">here</A>. There are probably also |
|
338 others. If you want to avoid JavaScript there are a number of alternatives: for example the |
|
339 <A HREF="http://elm-lang.org">Elm</A> |
|
340 language has been especially designed for implementing interactive animations, which would be |
|
341 very convenient for this project. A nice slide making project done by a previous student is |
|
342 <A HREF="http://www.markslides.org">MarkSlides</A> by Oleksandr Cherednychenko. |
|
343 </p> |
|
344 |
|
345 <li> <H4>[CU4] Raspberry Pi's and Arduinos</H4> |
|
346 |
|
347 <p> |
|
348 <B>Description:</B> |
|
349 This project is for true hackers! <A HREF="http://en.wikipedia.org/wiki/Raspberry_Pi">Raspberry Pi's</A> |
|
350 are small Linux computers the size of a credit-card and only cost £26, the |
|
351 simplest version even costs only £5 (see pictures on the left below). They were introduced |
|
352 in 2012 and people went crazy...well some of them. There is a |
|
353 <A HREF="https://plus.google.com/communities/113390432655174294208?hl=en">Google+</A> |
|
354 community about Raspberry Pi's that has more |
|
355 than 197k of followers. It is hard to keep up with what people do with these small computers. The possibilities |
|
356 seem to be limitless. The main resource for Raspberry Pi's is <A HREF="http://www.raspberrypi.org">here</A>. |
|
357 There are <A HREF="https://www.raspberrypi.org/magpi/">magazines</A> dedicated to them and tons of |
|
358 <A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=39">books</A> (not to mention |
|
359 floods of <A HREF="https://www.google.co.uk/search?q=raspberry+pi">online</A> material, |
|
360 such as the <A HREF="https://www.raspberrypi.org/magpi-issues/Projects_Book_v1.pdf">RPi projects book</A>). |
|
361 Google just released a |
|
362 <A HREF="http://googlecreativelab.github.io/coder/">framework</A> |
|
363 for web-programming on Raspberry Pi's turning them into webservers. |
|
364 In my home one Raspberry Pi has the very important task of automatically filtering out |
|
365 nearly all advertisments using the |
|
366 <A HREF="https://github.com/pi-hole/pi-hole">Pi-Hole</A> software |
|
367 (you cannot imagine what difference this does to your web experience...you just sit back and read what |
|
368 is important). |
|
369 </p> |
|
370 |
|
371 <p> |
|
372 <A HREF="http://en.wikipedia.org/wiki/Arduino">Arduinos</A> are slightly older (from 2005) but still very cool (see picture on the right below). They |
|
373 are small single-board micro-controllers that can talk to various external gadgets (sensors, motors, etc). Since Arduinos |
|
374 are open-software and open-hardware there are many clones and add-on boards. Like for the Raspberry Pi, there |
|
375 is a lot of material <A HREF="https://www.google.co.uk/search?q=arduino">available</A> about Arduinos. |
|
376 The main reference is <A HREF="http://www.arduino.cc">here</A>. Like the Raspberry Pi's, the good thing about |
|
377 Arduinos is that they can be powered with simple AA-batteries. |
|
378 </p> |
|
379 |
|
380 <p> |
|
381 I have several Raspberry Pi's including wifi-connectors and two <A HREF="http://www.raspberrypi.org/camera">cameras</A>. |
|
382 I also have two <A HREF="http://www.freaklabs.org/index.php/Blog/Store/Introducing-the-Freakduino-Chibi-An-Arduino-based-Board-For-Wireless-Sensor-Networking.html">Freakduino Boards</A> that are Arduinos extended with wireless communication. I can lend them to responsible |
|
383 students for one or two projects. However, the aim is to first come up with an idea for a project. Popular projects are |
|
384 automated temperature sensors, network servers, robots, web-cams (<A HREF="http://www.secretbatcave.co.uk/electronics/shard-rain-cam/">here</A> |
|
385 is a <A HREF="http://www.raspberrypi.org/archives/3547">web-cam</A> directed at the Shard that can |
|
386 <A HREF="http://www.secretbatcave.co.uk/software/shard-rain-cam-quantifying-cloudy/">tell</A> |
|
387 you whether it is raining or cloudy). There are plenty more ideas listed |
|
388 <A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=15">here</A> for Raspberry Pi's and |
|
389 <A HREF="http://playground.arduino.cc/projects/ideas">here</A> for Arduinos. |
|
390 </p> |
|
391 |
|
392 <p> |
|
393 There are essentially two kinds of projects: One is purely software-based. Software projects for Raspberry Pi's are often |
|
394 written in <A HREF="http://www.python.org">Python</A>, but since these are Linux-capable computers any other |
|
395 language would do as well. You can also write your own operating system as done |
|
396 <A HREF="http://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/os/">here</A>. For example the students |
|
397 <A HREF="http://www.recantha.co.uk/blog/?p=4918">here</A> developed their own bare-metal OS and then implemented |
|
398 a chess-program on top of it (have a look at their very impressive |
|
399 <A HREF="http://www.youtube.com/watch?v=-03bouPsfEQ&feature=player_embedded">youtube</A> video). |
|
400 The other kind of project is a combination of hardware and software; usually attaching some sensors |
|
401 or motors to the Raspberry Pi or Arduino. This might require some soldering or what is called |
|
402 a <A HREF="http://en.wikipedia.org/wiki/Breadboard">bread-board</A>. But be careful before choosing a project |
|
403 involving new hardware: these devices |
|
404 can be destroyed (if “Vin connected to GND” or “drawing more than 30mA from a GPIO” |
|
405 does not make sense to you, you should probably stay away from such a project). |
|
406 </p> |
|
407 |
|
408 <center> |
|
409 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
410 src="http://upload.wikimedia.org/wikipedia/commons/3/3d/RaspberryPi.jpg" |
|
411 alt="Raspberry Pi" |
|
412 width="313" height="209"> |
|
413 |
|
414 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
415 src="https://upload.wikimedia.org/wikipedia/commons/7/7e/Raspberry-Pi-Zero-FL.jpg" |
|
416 alt="Raspberry Pi Zero" |
|
417 width="313" height="209"> |
|
418 |
|
419 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
420 src="http://upload.wikimedia.org/wikipedia/commons/3/38/Arduino_Uno_-_R3.jpg" |
|
421 alt="Arduino" |
|
422 width="240" height="209"> |
|
423 </center> |
|
424 |
|
425 |
|
426 <p> |
|
427 <B>Skills:</B> |
|
428 Well, you must be a hacker; happy to make things. Your desk might look like the photo below on the left. |
|
429 The photo below on the middle shows an earlier student project which connects wirelessly a wearable Arduino (packaged |
|
430 in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the foreground takes |
|
431 measurements of |
|
432 heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple |
|
433 web-service. The picture on the right is another project that implements an airmouse using an Arduino. |
|
434 |
|
435 <center> |
|
436 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
437 src="https://nms.kcl.ac.uk/christian.urban/rpi-photo.jpg" |
|
438 alt="Raspberry Pi" |
|
439 width="209" height="313"> |
|
440 |
|
441 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
442 src="https://nms.kcl.ac.uk/christian.urban/rpi-watch.jpg" |
|
443 alt="Raspberry Pi" |
|
444 width="450" height="254"> |
|
445 |
|
446 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;" |
|
447 src="https://nms.kcl.ac.uk/christian.urban/rpi-airmouse.jpg" |
|
448 alt="Raspberry Pi" |
|
449 width="250" height="254"> |
|
450 </center><p> |
|
451 |
|
452 |
|
453 A really cool project using a toy helicopter and two Raspberry Pi's was done by Nikolaos Kyknas. He transformed |
|
454 an off-the-shelf toy helicopter into an autonomous flying machine. He attached a Raspberry Pi Zero and an ultrasound |
|
455 sensor to the helicopter for measuring the distance from ground. Another Raspberry Pi is attached to the “ground control |
|
456 unit” in order to give instructions to the throttle of the helicopter. Both Raspberry Pi's communicate over WiFi for calculating |
|
457 the next flight instruction. The goal is to find and maintain a steady altitude. Sounds simple? Well, not so fast: Rest assured there are |
|
458 many thorny issues! First you need to get the balance of the helicopter plus Raspberry Pi plus its power source just right, |
|
459 otherwise the helicopter will simply take off in random directions. Also the flight instructions need to be just right, |
|
460 otherwise the helicopter would at best ``oscillate'' around the set altitude, but never be steady. To solve this problem, |
|
461 Nikolaos used exactly the same algorithm that keeps cars at a steady pace when in cruise control. |
|
462 |
|
463 <center> |
|
464 <iframe width="320" height="576" |
|
465 src="https://nms.kcl.ac.uk/christian.urban/h1.mp4"> |
|
466 </iframe> |
|
467 <iframe width="320" height="576" |
|
468 src="https://nms.kcl.ac.uk/christian.urban/h3.mp4"> |
|
469 </iframe> |
|
470 </center> |
|
471 |
|
472 <li> <H4>[CU5] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4> |
|
473 |
|
474 <p> |
|
475 <B>Description:</B> |
|
476 The project aim is to implement an infrastructure for displaying and |
|
477 animating code in a web-browser. The infrastructure should be agnostic |
|
478 with respect to the programming language, but should be configurable. |
|
479 I envisage something smaller than the projects |
|
480 <A HREF="http://www.pythontutor.com">here</A> (for Python), |
|
481 <A HREF="http://ideone.com">here</A> (for Java), |
|
482 <A HREF="http://codepad.org">here</A> (for multiple languages), |
|
483 <A HREF="http://www.w3schools.com/html/tryit.asp?filename=tryhtml_intro">here</A> (for HTML) |
|
484 <A HREF="http://repl.it/languages/JavaScript">here</A> (for JavaScript), |
|
485 and <A HREF="http://www.scala-tour.com/#/welcome">here</A> (for Scala). |
|
486 </p> |
|
487 |
|
488 <p> |
|
489 The tasks in this project are being able (1) to lex and parse languages and (2) to write an interpreter. |
|
490 The goal is to implement this as much as possible in a language-agnostic fashion. |
|
491 </p> |
|
492 |
|
493 <p> |
|
494 <B>Skills:</B> |
|
495 Good skills in lexing and language parsing, as well as being fluent with web programming (for |
|
496 example JavaScript). |
|
497 </p> |
|
498 |
|
499 |
|
500 <li> <H4>[CU6] Proving the Correctness of Programs</H4> |
|
501 |
|
502 <p> |
|
503 I am one of the main developers of the interactive theorem prover |
|
504 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This theorem prover |
|
505 has been used to establish the correctness of some quite large |
|
506 programs (for example an <A HREF="http://ertos.nicta.com.au/research/l4.verified/">operating system</A>). |
|
507 Together with colleagues from Nanjing, I used this theorem prover to establish the correctness of a |
|
508 scheduling algorithm, called |
|
509 <A HREF="http://en.wikipedia.org/wiki/Priority_inheritance">Priority Inheritance</A>, |
|
510 for real-time operating systems. This scheduling algorithm is part of the operating |
|
511 system that drives, for example, the |
|
512 <A HREF="http://en.wikipedia.org/wiki/Mars_Exploration_Rover">Mars rovers</A>. |
|
513 Actually, the very first Mars rover mission in 1997 did not have this |
|
514 algorithm switched on and it almost caused a catastrophic mission failure (see |
|
515 this youtube video <A HREF="http://www.youtube.com/watch?v=lyx7kARrGeM">here</A> |
|
516 for an explanation what happened). |
|
517 We were able to prove the correctness of this algorithm, but were also able to |
|
518 establish the correctness of some optimisations in this |
|
519 <A HREF="https://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">paper</A>. |
|
520 </p> |
|
521 |
|
522 <p>On a much smaller scale, there are a few small programs and underlying algorithms where it |
|
523 is not really understood whether they always compute a correct result (for example the |
|
524 regular expression matcher by Sulzmann and Lu in project [CU1]). The aim of this |
|
525 project is to completely specify an algorithm in Isabelle and then prove it correct (that is, |
|
526 it always computes the correct result). |
|
527 </p> |
|
528 |
|
529 <p> |
|
530 <B>Skills:</B> |
|
531 This project is for a very good student with a knack for theoretical things and formal reasoning. |
|
532 </p> |
|
533 |
|
534 <li> <H4>[CU7] Anything Security Related that is Interesting</H4> |
|
535 |
|
536 <p> |
|
537 If you have your own project that is related to security (must be |
|
538 something interesting), please propose it. We can then have a look |
|
539 whether it would be suitable for a project. |
|
540 </p> |
|
541 |
|
542 <li> <H4>[CU8] Anything Interesting in the Areas</H4> |
|
543 |
|
544 <ul> |
|
545 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples, or <A HREF="http://pragmaticstudio.com/blog/2014/12/19/getting-started-with-elm">here</A> for an introduction) |
|
546 <li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to |
|
547 sane languages that compile to JavaScript) |
|
548 <li>Any statistical data related to Bitcoins (in the spirit of this |
|
549 <A HREF="http://people.csail.mit.edu/spillai/data/papers/bitcoin-transaction-graph-analysis.pdf">paper</A> or |
|
550 this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any |
|
551 other heavy-duty programming language) |
|
552 <li>Anything related to programming languages and formal methods (like |
|
553 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
|
554 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino, |
|
555 <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A> |
|
556 <li>Anything related to unikernel operating systems, like |
|
557 <A HREF="http://www.xenproject.org">Xen</A> or |
|
558 <A HREF="http://www.openmirage.org">Mirage OS</A> |
|
559 <li>Any kind of applied hacking, for example the Arduino-based keylogger described |
|
560 <A HREF="http://samy.pl/keysweeper/">here</A> |
|
561 <li>Anything related to code books, like this |
|
562 <A HREF="http://www.joelotter.com/kajero/">one</A> |
|
563 </ul> |
|
564 |
|
565 |
|
566 |
|
567 <li> <H4>Earlier Projects</H4> |
|
568 |
|
569 I am also open to project suggestions from you. You might find some inspiration from my earlier projects: |
|
570 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-12.html">BSc 2012/13</A>, |
|
571 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-12.html">MSc 2012/13</A>, |
|
572 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-13.html">BSc 2013/14</A>, |
|
573 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-13.html">MSc 2013/14</A>, |
|
574 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-14.html">BSc 2014/15</A>, |
|
575 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-14.html">MSc 2014/15</A>, |
|
576 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-15.html">BSc 2015/16</A>, |
|
577 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-15.html">MSc 2015/16</A>, |
|
578 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-16.html">BSc 2016/17</A>, |
|
579 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-16.html">MSc 2016/17</A>, |
|
580 <A HREF="https://nms.kcl.ac.uk/christian.urban/bsc-projects-17.html">BSc 2017/18</A>, |
|
581 <A HREF="https://nms.kcl.ac.uk/christian.urban/msc-projects-17.html">MSc 2017/18</A> |
|
582 </ul> |
|
583 </TD> |
|
584 </TR> |
|
585 </TABLE> |
|
586 |
|
587 <P> |
|
588 Time-stamp: <- 2017-09-27 12:44:13 by Christian Urban> |
|
589 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a> |
|
590 </P> |
|
591 </BODY> |
|
592 </HTML> |
|
593 |
|
594 |
|
595 |