… und wieder aufgetaucht. Ich war für ein Semester auf Sabbatical um mein Doktorat voranzutreiben, das ich in ansonsten in meiner Freizeit betreibe. Bevor das Sabbatical überhaupt gestartet hat, habe ich einige Forschungsaufenthalte organisiert. Ich habe Bill Langdon auf der ICSE 2019 getroffen und dort gefragt ob es möglich wäre im Bereich Genetic Improvement zu kollaborieren. Zusätzlich habe ich per Email einige Professoren aus den Feldern Genetic Improvement und Compilerbau / Compileroptimierung per EMail kontaktiert, die meisten dieser Kontakte führten zu einem kleinerem wissenschaftlichen Austausch der hier nicht weiter beschrieben wird. Jason Steen und ich haben sind zufällig auf einem HL7 Arbeitsgruppentreffen (WGM) über den Weg gelaufen, und nachdem er jemanden suchte der Kurse ausarbeiten und durchführen kann, und ich die Zeit hatte, planten wir gemeinsam einige Kurse für das HL7 WGM in Sydney.
Für alle die ihr eigenes Sabbatical planen hier ein Tipp. Versuche schon lange vor dem Sabbatical Aufenthalte zu organisieren, es dauert z.T. Monate diese zu organisieren, und führe nicht zu viele Aufenthalte durch. Die Kooparationen erfordern viel Arbeit aber man lernt sehr viel davon mal in anderen Forschungseinrichtungen unterwegs zu sein und mit anderen Wissenschaftlern zu kollaborieren. Es gibt auch eine starke Grundlage für die Dissertation die Arbeiten von anderen genauer zu betrachten und die eigene von einer anderen Perspektive zu beleuchten.
Forschungsaufenthalt am University College London (UCL)
Der Besuch an UCL war mit der Kollaboration im Bereich Genetic Improvement (GI), um Code Konstanten zu aktualisieren oder generieren, geplan. Dies ist eine Niche in GI. Das Forschungsfeld selbst konzentriert sich idr. auf die Verbesserung von Code selbst. Der Ansatz der Konstantenoptimierung hat sich jedoch sehr erfolgreich gezeigt. Vorarbeiten in dem Bereich benutzten Genetische Algorithmen um Lookup-Tabellen für mathematische Funktionen aus bestehenden tabellen für andere funktionen zu generieren. Eingesetzt wurde Covariance Matrix Adaption – Evolution Strategy (CMA-ES). CMA-ES ist ein „relativ“ neuer Algorithmus in der Domäne der Evolutionären Suche und sticht dadurch hervor, dass die Konfiguration intern erfolgt und über den Verlauf eines Expriments automatisch aktualisiert werden. CMA-ES funktioniert für globale als auch lokale Optimierungsprobleme.
In der Kollaboration an UCL, am Centre for Research in Evolution, Search and Testing (CREST), wurde der bestehende Ansatz für Lookup Tabellen generalisiert um jegliche mathematische Funktion die über Newton Raphson approximiert werden kann zu unterstützen. Die Resultate sind sehr erfolgreich. Für die Kubikwurzel z.B. wird mit dem Ansatz die Genauigkeit der Berechnung gegenüber der Standardimplementierungen von Java und C++ übertroffen. Die Publikation dazu, sowie die EuroGP 2020 präsentation sind hier verfügbar, und weitere Publikationen in dem Bereich sind eingereicht und geplant.
Beim nächsten Besuch in London kann Ich nur empfehlen einen Halt an der UCL zu machen und Jeremy Bentham, den „spirituellen Gründer“ von UCL, zu besuchen. Er ist so ein Workaholic dass er immer noch an Boardmeetings teilnimmt und sich davon auch nicht von seinem Tod vor beinahe 200 Jahren abhalten lässt.
Forschungsaufenthalt an der Universität Edinburgh
Beim Besuch in Edinburgh hat Christophe Dubach, der Leiter des LIFT Projekts noch an der Universität als Professor gearbeitet. Mittlerweile ist er an der McGill Univesrität in Montreal beschäftigt, eine schöne Stadt in der man durchaus auch ein Doktorat durchführen könnte. Das LIFT Projekt ist eine funktionale Programmiersprache und Compiler die in Scala geschrieben sind und zu OpenCL kompiliert.Das Ziel ist eine parallele Sprache bereitzustellen die auf Grafikkarten ausführbar ist. Optimierungen in LIFT funktionieren über Rewrite-Regeln die semantische Äquivalenz garantieren wenn ein Syntaxbaum aus LIFT umgeschrieben wird.
Der Fokus der Kollaboration liegt darin Genetische Algorithmen zu verwenden um die Selektion und Sequenzen der Rewrite-Rules zu verbessern und LIFT funktionen zu optimieren.
HL7 Arbeitsgruppentreffen (WGM) 2020 Sydney
Das WGM in Sydnes war vermutlich das letzte in-personen Treffen für die nächste Zeit. Neben der regulären Arbeit an HL7 Gesundheitsstandards die auf solchen Treffen passieren (primär HL7 FHIR), habe ich auf bei den Kursen zur Weiterbildung ausgeholfen. Neben HL7 FHIR Starter (was ist FHIR und wie funktioniert es) und FHIR Arsonist (wie erweitert man den Standard für die eigenen Anwendungsfälle) die auch auf den HL7 Austria Jahrestagungen stattfinden, habe ich FHIR für Manager, FHIR in Australien und Pädiatrie, Patient Summary und Workflow unterrichtet. Bzgl. Workflow führen wir auch gerade ein Projekt durch um BPMN und FHIR PlanDefinition interoperabel zu machen.
Jason Steen und HL7 Australien haben viel Arbeit in das WGM gesteckt und es höchst erfolgreich veranstaltet. Ich würde jederzeit wieder mit ihnen zusammenarbeiten oder Events von ihnen besuchen!
