Prof. Dr. Farhad D. Mehta
IFS Institut für SoftwareProfessor of Programming Languages and Software Engineering
+41 58 257 46 16farhad.mehta@ost.ch
Knowledgebase
Author | Title | Year | Type |
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 |