Malte Viering

positionResearch Assistant
eMailviering [at] ...
officeS2|02 A307

 

Research Interests

Programming Languages    Type Systems    Distributed Systems    Compilers    Statically Safe Distributed Programming

Open Theses and HiWi positions

I am always looking for motivated students and currently I am offering theses, projects and Hiwi positions on the following topics:

Programming Languages and Compiler

  • Compiler and languages extensions for session types in Scala
  • PL support for fault tolerant distributed systems
  • PL support for Intel's Software Guard Extensions (SGX)
  • Fault tolerant Actor supervision and type based recovery

Type Systems

  • Mechanizing session type proofs in Coq
  • Types for SGX

Distributed Systems

  • Distributed algorithm meet ZooKeeper

Short Bio

I am a PhD student at the DSP-Group. I visited the Mobility Reading Group of Prof Yoshida at the Imperial College in London over the summer 2016. I received my master and bachelor degree in computer science from the Technische Universität Darmstadt. During my computer science degrees I studied two semesters at the Nanyang Technological University in Singapore and got the Deutschlandstipendium.

Publications

Please also take a look at my publication in dblp.

  • M Blöcher, M Viering, S Schmid, P Eugster
        The Grand CRU Challenge; Workshop: HotConNet 2017
  • TC Chen, M Viering, A Bejleri, L Ziarek, P Eugster
        A type theory for robust failure handling in distributed systems; FORTE 2016
  • C Daniel, O Kroemer, M Viering, J Metz, J Peters
        Active reward learning with a novel acquisition function; Auton. Robots 2015
  • C Daniel, M Viering, J Metz, O Kroemer, J Peters
        Active Reward Learning; RSS 2014

 

Contact

Technische Universität Darmstadt
Department of Computer Science
Distributed Systems Programming

Hochschulstr. 10
64289 Darmstadt
Germany

Building S2|02, A310, D203

Office:
Phone: +49 6151 16-21811
Fax: +49 6151 16-21812

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang