Differences

This shows you the differences between two versions of the page.

--- projects [2018/08/22 14:45]
vkuncak
+++ projects [2019/12/16 15:43]
vkuncak
@@ Line 1: / Line 1: @@
 ====== Available Student Projects in LARA - EPFL Internal Page ======
-**(c) 2016-2018 Laboratory for Automated Reasoning and Analysis. All Rights Reserved. Any reproduction of the parts of this page in printed or electronic form requires a prior written permission from Viktor Kuncak.**
+**(c) 2016-2018 Laboratory for Automated Reasoning and Analysis. All Rights Reserved. Any reproduction of the parts of this page in printed or electronic form requires a prior written permission from Viktor Kunčak.**
-These projects are suitable for both **BSc** and **MSc** projects (including  **master's thesis** projects) for students in the **IC school** of **EPFL**, and are suitable for both **computer science** and **communication systems** students. Each project is for **one student** in a given semester. Students report directly to  [[http://lara.epfl.ch/~kuncak|Prof. Viktor Kuncak]], even if PhD students are involved to help with various aspects of the project. The information on whether the project is available or not is also maintained only by Viktor Kuncak, so please contact him if you are interested in the project.
+These projects are suitable for both **BSc** and **MSc** projects (including  **master's thesis** projects) for students in the **IC school** of **EPFL**, and are suitable for both **computer science** and **communication systems** students. Each project is for **one student** in a given semester. Students report directly to  [[http://lara.epfl.ch/~kuncak|Prof. Viktor Kunčak]], even if PhD students are involved to help with various aspects of the project. The information on whether the project is available or not is also maintained only by Viktor Kunčak, so please contact him if you are interested in the project.
 ===== Profile for the candidates =====
@@ Line 11: / Line 11: @@
 ===== Nature of these projects =====
-Below we list several projects reflecting the current interests of our research group. All projects can be adapted to fit the scope of a semester project (bachelor & master) or master's project.
+Below we list several projects reflecting the current interests of our research group. All projects can be adapted to fit the scope of a semester project (bachelor & master) or master's project. Typically we expect the knowledge of courses such as [[cc|Computer Language Processing]].
-Many of these project are based on the [[http://lara.epfl.ch/w/leon|Leon system]] for synthesis and verification. We suggest that you get the basic idea of Leon in any case.
 **Licence for code:** Please note that we release software under open source licenses and we request our contributors to agree that EPFL LARA holds copyright of the code that you contribute.