if (isset($_GET["page"]))
{
$page = $_GET["page"];
}
else{
$page="about_me";
}
?>
Armand Joulin
Post-Doctoral researcher
include("image.php") ?>
include("nav.php") ?>
switch($page){
case "about_me":
case "publications":
case "code":
case "teaching":
case "contact":
case "weaksup":
case "coseg":
include($page.".php");
}
?>