Prof. Dr. Farhad D. Mehta
IFS Institut für SoftwareProfessor in Computer Science for Programming Languages and Software Engineering
Knowledgebase
| Author | Title | Year | Type |
| Olivier Lischer | Exploring the use of Haskell to Program Microcontrollers used in Robotics Platforms | 2025 | Projektarbeit |
| Fiona Pichler | How to Vim - An Algebraic Approach to Understanding Modal Text Editors | 2025 | Bachelorarbeit |
|
Mona Panchaud, Anja Friedrich | LambdaLab | 2025 | Bachelorarbeit |
|
Fadil Smajilbasic, Davor Lucic | Monad-Torrent | 2025 | Studienarbeit / Semesterarbeit |
|
Mona Panchaud, Anja Friedrich | Mondriλn | 2025 | Studienarbeit / Semesterarbeit |
| Eliane Irène Schmidli | Using FRP in Yampa to Redesign the Control Software for the Robotic Artwork "Pygmies" | 2025 | Projektarbeit |
|
Jann Marco Flepp, Lukas Streckeisen | Designing a Visual, Block-Based Environment to Create & Execute Haskell Code | 2024 | Studienarbeit / Semesterarbeit |
| Marc Etter | TypeSearch: Type-Directed API Search For All | 2024 | Masterarbeit |
| Eliane Irène Schmidli | Using Functional Reactive Programming for Robotic Art | 2024 | Masterarbeit |
|
Benjamin Plattner, Olivier Lischer | Build-your-own-[grep, Redis] in Haskell | 2023 | Studienarbeit / Semesterarbeit |
| Marc Etter | Feasibility Study of a Type-Directed API Search Engine for Java | 2023 | Projektarbeit |
| Carlo Del Rossi | Improving the Usability of the Haskell Substitution Stepper | 2023 | Bachelorarbeit |
| Raphael Jenni | Unifying Code Refactorings of Different Languages | 2023 | Masterarbeit |
| Eliane Irène Schmidli | Using FRP in Yampa to Redesign the Control Software for the Robotic Artwork “Pygmies” | 2023 | Projektarbeit |
|
Dominic Klinger, Christian Bisig | AI for Relay Interlocking | 2022 | Studienarbeit / Semesterarbeit |
| Marc Etter | Evaluating the effectiveness of the code-map metaphor for code reviews | 2022 | Projektarbeit |
| Jan Huber | Haskell Substitution Stepper | 2022 | Studienarbeit / Semesterarbeit |
|
Robin Elvedi, Dominik Dietler | Haskell Substitution Stepper | 2022 | Bachelorarbeit |
|
Tim Niklas Wisotzki, Samuel Lemmenmeier | Markua Support for Pandoc | 2022 | Studienarbeit / Semesterarbeit |
|
Raphael Jenni, Fabian Germann | Automation of the OST-RJ Examination Scheduling | 2021 | Studienarbeit / Semesterarbeit |
|
Raphael Jenni, Fabian Germann | Automation of the OST-RJ Examination Scheduling | 2021 | Bachelorarbeit |
|
Julia Tanner, Severin Amacher | EPJ Team Builder | 2021 | Studienarbeit / Semesterarbeit |
| David Loosli | On Minimum Storage Merge Algorithms | 2021 | Projektarbeit |
|
Patrick Silvio Bächli, Marc Etter | Code Panorama | 2020 | Bachelorarbeit |
| Jonas Wälter | Existing and novel Approaches to the Vehicle Rescheduling Problem | 2020 | Masterarbeit |
|
Joel Fisch, Remo Dörig | OpenAPI 3 code binding generator for Haskell | 2020 | Bachelorarbeit |
|
Joel Fisch, Remo Dörig | Strongly typed, functional languages as an alternative to the popular React + Redux stack | 2020 | Studienarbeit / Semesterarbeit |
|
Patrick Silvio Bächli, Marc Etter | Code Panorama | 2019 | Studienarbeit / Semesterarbeit |
| Samuel Kurath | Deep Squat | 2019 | Masterarbeit |
| Benjamin Kühnis | Magic The Gathering Draft Viewer | 2019 | Masterarbeit |
| Jonas Wälter | O-Admin | 2019 | Projektarbeit |
|
Dominik Bastian Kessler, Cyrill Hänni | The Lambda Calculus Calculator | 2019 | Studienarbeit / Semesterarbeit |
|
Mike Marti, Matteo Kamm | The Sequent Calculus Calculator | 2019 | Bachelorarbeit |
|
Dominik Bastian Kessler, Cyrill Hänni | Videoanalyse für fliegende Rettnungshunde | 2019 | Bachelorarbeit |
|
Esteban Felipe Luchsinger Macaya, Patrick Scherler | Automatisierte Lichtmessung mit Indoor-Lokalisierungssystem | 2018 | Bachelorarbeit |
|
Lukas Oberholzer, David Riederer | Einsatz von Drohnen zur Unterstützung von alpinen Rettungsaktionen | 2018 | Bachelorarbeit |
|
David Riederer, Lukas Oberholzer | Einsatzplanung und Tracking von alpinen Rettungsaktionen mit Hilfe GPS | 2018 | Studienarbeit / Semesterarbeit |
| Simon Göldi | HMI für ein Exoskelett | 2018 | Projektarbeit |
| Benjamin Kühnis | NBA Game Prediction | 2018 | Projektarbeit |
| Samuel Kurath | Ranck | 2018 | Projektarbeit |
|
Raphael Martin Zimmermann, Fabian Hauser | Redbackup: A Redundant Distributed Backup System Prototype | 2018 | Studienarbeit / Semesterarbeit |
| Samuel Kurath | Schieber Jass Bot | 2018 | Projektarbeit |
| Mario Meili | Supporting Swift 4 Generics in Tifig | 2018 | Masterarbeit |
| Lukas Grab | Weiterentwicklung HMI Exosuit | 2018 | Projektarbeit |
| Mario Meili | Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments | 2017 | Projektarbeit |
| Mario Meili | If Functional Programming Is So Great, Why Isn’t Everyone Using It? | 2017 | Projektarbeit |
| Cyrill Schenkel | Modern IDE Support for Functional Programming | 2017 | Bachelorarbeit |
|
Rafael Krucker, Markus Schaden | Visual Studio Code Integration for the Dafny Language and Program Verifier | 2017 | Bachelorarbeit |
|
Benny Gächter, Benjamin Wilhelm | BLINQ BookingTool | 2016 | Bachelorarbeit |
|
Felix Morgner, Tobias Stauber | Data over DAB | 2016 | Bachelorarbeit |
|
Noah Hendrikx, Pascal Marty | Erstellen einer Cross-Platform Service App für Sanitäranlagen | 2016 | Studienarbeit / Semesterarbeit |
|
Manuel Schuler, Patrik Wenger | Extending a SCADA framework to support high availability | 2016 | Bachelorarbeit |
|
Ueli Bosshard, Philipp Christen | Orchestrierung von Security-Updates für Linux-Serversysteme | 2016 | Bachelorarbeit |
| Lukas Hofmaier | Static Checking For A Mapping DSL In The Field Of Financial Messaging | 2016 | Masterarbeit |
|
Marino Andrea Melchiori, Dominic Mülhaupt | EasyPay | 2015 | Studienarbeit / Semesterarbeit |
|
Robin Bader, Philipp Meier | GPU-Parallelisierung der Flachwassergleichungen in einer Evakuierungssimulation | 2015 | Bachelorarbeit |
|
Fabio Laib, Sandro Muggli | Medikamententrackingsystem für die Flugrettung | 2015 | Studienarbeit / Semesterarbeit |
|
Konstantin Kayed, Theo Winter | Smartphone Applikation für intelligente, induktive Heizsysteme in Grossküchen | 2015 | Bachelorarbeit |
