Martin Gassner Email & Phone Number

Heidelberg, Baden-Württemberg, Deutschland

Entwickelte Retrieval-Augmented-Generation (RAG) Anwendungen mit on-premise LLM, um Nutzern große Textkorpora leichter zugänglich zu machen. Technologien: Python, Weaviate Vectordatenbank, MLFlow

Santiago, Santiago Metropolitan Region, Chile

C++ developer on the equivalence checking tool Formality, maintaining and enhancing processing of arithmetic transformations

Saarbrücken, Saarland, Germany

Co-created assignment sheets, supported students individually during tutorials and graded assignments for the courses Machine Learning and Elements of Machine Learning.

Saarbrücken, Saarland, Germany

Organized tutorials, supported students in the learning process and graded weekly assignments for the course Automated Reasoning.

Ditzingen, Baden-Württemberg, Germany

Modeled parts of the Airbag Control Unit and supported the development of tools for systems engineering activities through specifications and own development.Implemented an automated quantitative analysis of the software configuration.

Master'S Degree, Computer Science

Focussed on machine reasoning and learning, both from a stochastic and a formal logic point of view, complemented by graduate-level.

Knowledge Engineering And Data Science, Computer Science