Arjun Radhakrishna

Where?

University of Pennsylvania, Philadelphia, USA

Area of research

My research area relates to using programming languages and formal methods to help programmers and designers develop reliable, safe, and correct systems. In particular, I have been working heavily on program synthesis. However, I’m interested in all domains of formal methods and rigourous system engineering.

At IST Austria

  • PhD student
  • ‘2014
  • Henzinger Group

 

Philipp Schönenberger

Where?

Research scientist for Roche in Basel since 2015.

Area of research

Preclinical drug discovery in neuroscience with focus on electrophysiology, optogenetics, and data analysis

At IST Austria

  • Postdoc
  • ‘2015
  • Csicsvári Group

Stefan Jeschke

Where?

Nvidia, Klosterneuburg, Austria

Area of work

  • Computer science,
  • Computer graphics,
  • Physics simulation

At IST Austria

  • Postdoc
  • ‘2016
  • Wojtan Group

 

Johannes
Reiter

Where?

Harvard University, Cambridge, USA

Area of research

My research lies at the interface of computer and biomedical sciences and focuses on the stochastic processes underlying evolution. I develop computational methods to learn from large-scale biological data sets and build mathematical models to explain observations on a mechanistic fashion. Most recently, I focused on inferring the evolution and the seeding of metastases in pancreatic cancers.

At IST Austria

  • PhD student
  • ‘2015
  • Chatterjee Group

 

Thorsten Tarrach

Where

AIT, Vienna, Austria

Area of work

  • Contract Research

At IST Austria

  • PhD Student
  • ‘2016
  • Henzinger Group

 

Martin Chmelik

Where?

TTTech, Vienna, AUSTRIA

Area of work

  • Research engineer in the area of scheduling, real time control and computation in hypervisors

AT IST Austria

  • PhD student
  • ‘2016
  • Chatterjee Group