E-Mail: david.fuenmayor(at)uni-bamberg.de
Address: An der Weberei 5, 96047 Bamberg
Office hours: on request
I am a researcher specializing in formal methods for artificial intelligence. I have an academic background in computer science, philosophy and engineering. Before entering academia, I worked for several years as a software developer in the industry (energy trading & automobile sectors). I previously held research appointments at the Freie Universit?t Berlin (PhD in Automated Reasoning) and University of Luxembourg (researcher in Legal-Tech).
My current research interests are exposed here.
I am an Elixir enthusiast. Reach out if you want to do a project using Elixir (whatever topic).
Teaching:
See also: LinkedIn und ResearchGate profile