Differences

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

--- projects [2016/11/09 14:44]
vkuncak
+++ projects [2016/11/15 17:02]
vkuncak
@@ Line 5: / Line 5: @@
 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.
-===== You are the right candidate =====
+===== Profile for the candidates =====
-Laboratory for Automated Reasoning and Analysis has BSc and MSc projects available (for PhD program see http://phd.epfl.ch/edic ). We are looking for students with high grades that are excellent in advanced functional programming and ideally strong in some of the core mathematical methods such as discrete mathematics, numerical analysis, logic, and probabilistic reasoning.  Are you inspired by building amazing programs such as automatic theorem provers, tools that automatically synthesize code, process natural language, perform tasks that seemingly require creativity, or find bugs in programs? If these are some of your passions, there may be a project for you.
+Laboratory for Automated Reasoning and Analysis has BSc and MSc projects available (for PhD program see http://phd.epfl.ch/edic ). We are looking for students with high grades that are excellent in advanced functional programming and ideally strong in some of the core mathematical methods such as discrete mathematics, numerical analysis, logic, and probabilistic reasoning.
-===== There is an interesting project for you =====
+===== Nature of these projects =====
-Below we list several example projects. 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.
 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. 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.
+If you have your own idea, feel free to check with us, but please note that we some times cannot accommodate your own project suggestions even if the student is brilliant and the project is excellent. Moreover, even if you select one of the projects listed below, we reserve the right to not offer you the project. By deciding to talk to us you agree that you will not require detailed justification on why we made our negative decision.
 === Robust Front End for Leon Compiled Using scala.js ===