<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Hi Matthias,</div><div class=""><br class=""></div><div class="">At the University of Malta we teach Erlang in concurrent programming as part of a paradigms course.</div><div class=""><br class=""></div>We also use Erlang to implement runtime monitors: this is a manifestation of a body of theoretical work on runtime verification that can be found at the project website <a href="http://icetcs.ru.is/theofomon/" class="">TheoFoMon</a>, a project hosted by Reykjavík University in conjunction with the University of Malta. In particular, you might want to check out this <a href="http://icetcs.ru.is/theofomon/BETTTYBook.pdf" class="">book chapter</a>, which explains in detail said tool.<div class=""><br class=""></div><div class="">Best regards,</div><div class=""><br class=""></div><div class="">Duncan</div><div class=""><br class=""><div class=""><br class=""></div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 09 Oct 2019, at 15:26, Adam Lindberg <<a href="mailto:hello@alind.io" class="">hello@alind.io</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Hi Matthias,<br class=""><br class="">Erlang has been extensively used in the LightKone EU project, and I know also several of the project partners use it in other projects as well. More information here: <a href="https://www.lightkone.eu" class="">https://www.lightkone.eu</a><br class=""><br class="">I can tell for a fact that we at Stritzinger GmbH (<a href="https://stritzinger.com" class="">https://stritzinger.com</a>) use it for both development and research.<br class=""><br class="">Cheers,<br class="">Adam<br class=""><br class=""><blockquote type="cite" class="">On 2. Sep 2019, at 12:10, Matthias Lang <<a href="mailto:matthias@corelatus.se" class="">matthias@corelatus.se</a>> wrote:<br class=""><br class="">Hi,<br class=""><br class="">I wanted to update FAQ 1.6: "Who uses Erlang for research (and<br class="">teaching)?".<br class=""><br class="">A decade or two ago, my uninvolved view of _research_ was "Uppsala,<br class="">Chalmers, Kent and Spain, and they all know each other, and then there<br class="">are some smaller efforts elsewhere."<br class=""><br class="">Looking at the ICFP 2019, the actual conference has nothing involving<br class="">Erlang, but the Erlang workshop has both familiar names and new<br class="">faces. Being a workshop, it's about applications, so maybe that's what<br class="">a settled-down Erlang is about now.<br class=""><br class="">Thoughts?<br class=""><br class="">Is there something major I've missed?<br class=""><br class="">(The 'teaching' part of the FAQ is unfortunate; it turned into an<br class="">ad-hoc list of universities where someone mailed me. I intend to chop<br class="">the list because it's such a small, arbitrary selection. I expect<br class="">Erlang to pop up quite frequently in courses about distributed/concurrent<br class="">systems, so just mentioning a few seems misleading.)<br class=""><br class="">Matthias<br class="">_______________________________________________<br class="">erlang-questions mailing list<br class=""><a href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br class="">http://erlang.org/mailman/listinfo/erlang-questions<br class=""></blockquote><br class="">_______________________________________________<br class="">erlang-questions mailing list<br class=""><a href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br class="">http://erlang.org/mailman/listinfo/erlang-questions<br class=""></div></div></blockquote></div><br class=""></div></div></body></html>