# Mathematics and Computer Science

Mathematics and Computer Science at IST Austria are currently represented by:

Distributed Algorithms and Systems Dan Alistarh |

Mathematical Models of Evolution Nick Barton |

Computer Graphics and Digital Fabrication Bernd Bickel |

Analytic Number Theory and its Interfaces Tim Browning |

Computer-aided Verification, Game Theory Krishnendu Chatterjee |

Algorithms, Computational Geometry and Topology Herbert Edelsbrunner |

Mathematical Physics and ProbabilityLaszlo Erdös |

Theory of Partial Differential Equations, Applied and Numerical AnalysisJulian Fischer |

Geometry and its InterfacesTamás Hausel |

Design and Analysis of Concurrent and Embedded Systems Thomas Henzinger |

Computer Vision and Discrete OptimizationVladimir Kolmogorov |

Computer Vision and Machine Learning Christoph Lampert |

Stochastic Analysis Jan Maas |

Cryptography Krzysztof Pietrzak |

Mathematical Physics Robert Seiringer |

Discrete and Computational Geometry and Topology Uli Wagner |

Computer Graphics Chris Wojtan |