----
-title: Research
-layout: null
----
-<!DOCTYPE html>
-<html>
-<head>
-<title>Ralf Jung</title>
-<meta http-equiv="refresh" content="0;url=https://www.mpi-sws.org/~jung/">
-</head>
-
-<body>
-You should be redirected to <a href="https://www.mpi-sws.org/~jung/">http://www.mpi-sws.org/~jung/</a>.
-</body>