Skip to main content
BOB Konferenz 2018

Logo of BOB Konferenz 2018 BOB Konferenz 2018

23rd February 2018

Berlin, Germany

Part of the BOB series

Speakers

  1. Alexander Senier

    Alexander Senier is the founder and CEO of Componolit, a startup developing a secure, open-source mobile OS that will run unmodified Android apps in isolation. Since he started programming 25 years ago, he is in search of tools and technologies for creating better software. Consequently, he’s interested in formal verification, microkernels and open-source software which he has used to build high-security systems in the past.

  2. Profile photo of Alexandra Cárdenas

    Alexandra Cárdenas

    Composer, programmer and improviser of music, Alexandra Cárdenas has followed a path from Western classical composition to improvisation and live electronics. Using open source software like Super Collider and Tidal, her work is focused on the exploration of the musicality of code and the algorithmic behaviour of music. An important part of this exploration consists of the practice of live coding, including performances at the forefront of the Algorave scene. Currently she lives in Berlin, Germany and is doing her masters in Sound Studies at the Berlin University of the Arts.

  3. Profile photo of Andres Löh

    Andres Löh

    Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz, and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.

    Andres is very interested in applying functional programming to real-world problems, and in particular in datatype-generic programming, domain-specific languages, (dependent) type systems, parallel and concurrent programming, and the theory of version control.

  4. Profile photo of Christo

    Christo

    Christo started out as a system administrator but some years ago he switched to become a software developer. The last years he was part of a team of researchers and technologists to investigate issues around the politics of data. Christo is currently an independent developer working with several NGO’s to document human rights and environmental abuses and to conduct data based investigations.

  5. Profile photo of Franz Thoma

    Franz Thoma

    Franz Thoma is originally a physicist and works as a consultant and software engineer at TNG Technology Consulting in Munich. While spending time there on domain specific languages and building compilers, he discovered his love for functional languages and expressive type systems. With Haskell, Franz found a robust and elegant language to express himself, which he uses for his own personal tooling as well as a thinking tool. At TNG, he currently works on high-throughput ingestion of real-time data for a client’s Big Data platform.

  6. Hannes Mehnert

    Hannes Mehnert researches in several engineering areas: from programming languages (such as compiler optimisation visualisation, type systems) over full functional correctness proofs of object-oriented code, development environments for dependently typed languages, to network protocols (TCP/IP) and security protocols (TLS, OTR). He feels safe in a garbage collected environment, and appreciates purely functional goodness.

    In his spare time, Hannes is not only a hacker, coauthor of a book on indian cuisine and functional programming in JavaScript, but also a barista and likes to travel and repair his recumbent bicycle.

    Since beginning of 2018, Hannes works on a non-profit to put MirageOS into production (http://robur.io). He used to be a postdoc at University of Cambridge working with the semantics, systems, and security group.

  7. Profile photo of Heinrich Apfelmus

    Heinrich Apfelmus

    Heinrich Apfelmus has been programming in Haskell for more than 10 years, and develops several open source libraries, currently focusing on graphical user interfaces (GUI) and functional reactive programming (FRP). Heinrich has studied mathematics and currently works in theoretical physics. As a student, he has participated in international programming competitions.

  8. Profile photo of Johannes Mainusch

    Johannes Mainusch

    Von 2007 bis 2015 war ich IT-Manager bei XING, bei OTTO und bei der EPOST. 2016 haben wir kommitment mit dem Ziel gegründet, demokratische und partizipatorische Strukturen in die Wirtschaft zu bringen.

  9. Profile photo of Leif Andersen

    Leif Andersen

    Leif Andersen is a PhD student studying programming languages in Northeastern University’s College of Computer and Information Science, advised by Professor Matthias Felleisen. She is a part of the Programming Research Laboratory (PRL) and studies compilers, domain specific languages for writing compilers, and performance tools.

  10. Profile photo of Matthias Fischmann

    Matthias Fischmann

    Matthias Fischmann has implemented his thesis at the Max Planck Institute for Computer Science in Haskell in 1999 when it was 7 years young, and has been a user and proponent of functional programming ever since. More recently he has developed an interest in software testing methods. He was the lead developer of the aula project. Starting in March he will be joining the wire Haskell backend developer team.

  11. Profile photo of Matthias Heinzel

    Matthias Heinzel

    Matthias Heinzel started programming with C on microcontrollers, but soon fell under the spell of immutability, purity and principled abstraction.

    He likes to share his passion for functional programming, e.g. as a teaching assistant at the Technical University of Berlin and organizer of Haskell meetups in Berlin.

  12. Profile photo of Maxim Minin

    Maxim Minin

    Maxim Minin studierte von 2003 bis 2007 an der Goethe-Universität Frankfurt am Main Wirtschaftsinformatik. Bereits während des Studiums sammelte er erste Erfahrungen in der Entwicklung von Handelssystemen und als Eurex-Händler. Nach erfolgreich abgeschlossener Diplomarbeit arbeitete er bei einem der ältesten Wertpapierhäusern Deutschlands, bis er sich entschieden hat, das Softwareteam der Baader Bank AG zu verstärken. 2015 übernahm er die Leitung von „Trading Systems“ der Baaderbank AG.

  13. Profile photo of Michael Wiedeking

    Michael Wiedeking

    Michael Wiedeking ist Gründer der MATHEMA Software GmbH. Er ist Java-Programmierer der ersten Stunde, schreibt regelmäßig Artikel und spricht auf Konferenzen. Am liebsten aber “sammelt” er Programmiersprachen und beschäftigt sich mit ihrem Design und ihrer Implementierung – neuerdings mit seiner eigenen: Aalgola.

  14. Nadezda Zryanina

    Software engineer and a lucky friend of the GRiSP.org project. I always had an interest in IoT and tried building remotely intellectual robots on Arduino. Now overly excited to show what you can do with the GRiSP board.

  15. Profile photo of Nicole Rauch

    Nicole Rauch

    Nicole Rauch ist freiberufliche Softwareentwicklerin und Softwareentwicklungscoach mit umfangreichem Hintergrund in Compilerbau und formalen Verifikationsmethoden. Neben Specification by Example, Domain-driven Design, React.js/Redux, Node.js und der Sanierung von Java-Legacy-Code-Applikationen erobern funktionale Programmiersprachen, allen voran Haskell, sich langsam aber sicher einen festen Platz in ihrem Repertoire. Neben ihrer Entwickler- und Coachingtätigkeit wirkte sie an der Ausrichtung mehrerer selbstorganisierter Konferenzen und an der Initiierung der Softwerkskammer, einer deutschsprachigen Usercommunity zum Thema Software Craftsmanship, sowie ihrer Karlsruher Regionalgruppe mit.

  16. Profile photo of Nikita Volkov

    Nikita Volkov

    A Haskell expert and the author of multiple packages on Hackage, including such notable projects, as “hasql”, “stm-containers”, “record”. CTO at metrix.ai.

  17. Profile photo of Ole Langbehn

    Ole Langbehn

    Als “Hacking CEO” der inoio gmbh habe ich mit unseren Teams seit 2012 Hands-On bei Otto, Galeria Kaufhof und Breuninger an Vertikalen-Projekten gearbeitet und diese mitgestaltet.

  18. Profile photo of Oskar Wickström

    Oskar Wickström

    After some years of musical education, Oskar Wickström began his journey into the world of software. He’s currently doing remote work in Haskell. Among the technical topics that interest Oskar are functional programming, systems design, web technology, and programming languages. His more aesthetic side, which mostly involves music, draws him towards graphics and UI design every now and then.

  19. Profile photo of Peter Thiemann

    Peter Thiemann

    Peter Thiemann ist Professor für Informatik an der Universität Freiburg und leitet dort den Arbeitsbereich Programmiersprachen. Er ist einer der führenden Experten zur funktionalen Programmierung, der partiellen Auswertung, domänenspezifischen Sprachen und zahlreichen anderen Themen der Softwaretechnik. Seine aktuelle Forschung beschäftigt sich mit statischen und dynamischen Analysemethoden für JavaScript.

  20. Profile photo of Philipp Kant

    Philipp Kant

    During his postdoc years in theoretical particle physics, Philipp developed a passion for Haskell, and finally made the switch to software development in 2014. Early in 2017, he joined IOHK, a cryptocurrency research and development company.

  21. Profile photo of Raichoo Ketchum

    Raichoo Ketchum

    Raichoo programmiert seit 25 Jahren und hat in den letzten 7 Jahren seinen Schwerpunkt auf FP verlagert. Er ist unter anderem Autor des JavaScript-Backends für Idris und haskell-vim. Seit 3 Jahren setzt er Haskell als seine Hauptsprache in der Industrie ein.

  22. Profile photo of Srushtika Neelakantam

    Srushtika Neelakantam

    Srushtika Neelakantam is a Developer Evangelist for deepstreamHub. She is a passionate tech advocate and loves realtime technologies! She is also a regular speaker at tech conferences worldwide and a co-author of “Learning Web-Based Virtual Reality” published by Apress. A longtime contributor and techspeaker at Mozilla, she loves to discuss the open web.

  23. Stevan Andjelkovic

    I wrote my first property based test in 2006 as part of an introduction to Haskell at Chalmers University. I also did my master’s degree at Chalmers, before moving to Strathclyde University in 2011 to do a PhD on the topic of reasoning about effectful programs in type theory.

    I now work at Advanced Telematic Systems here in Berlin. The company does software updates to cars, while I spend most of the time working on end-to-end testing. The end-to-end tests involve several micro services and clients (cars), and they run as part of continuous integration to give us a picture of if the system as a whole is working as it should.

  24. Profile photo of Thorsten Ludwig

    Thorsten Ludwig

    Thorsten Ludwig entdeckte während seines Studiums an der Universität Tübingen seine Leidenschaft für funktionale Programmierung. Heute arbeitet er bei der inovex GmbH. Dort ist er als Softwareentwickler tätig und benutzt Java und Clojure für seine Projekte.