function prahladh()
{
document.write("Prahladh Harsha");
}
function yuval()
{
document.write("Yuval Ishai");
}
function joe()
{
document.write("Joe Kilian");
}
function kobbi()
{
document.write("Kobbi Nissim");
}
function venky()
{
document.write("Srinivasan Venkatesh");
}
function eli()
{
document.write("Eli Ben-Sasson");
}
function oded()
{
document.write("Oded Goldreich");
}
function madhu()
{
document.write("Madhu Sudan");
}
function salil()
{
document.write("Salil Vadhan");
}
function balan()
{
document.write("Sakthi Balan");
}
function kk()
{
document.write("Kamala Krithivasan");
}
function sofya()
{
document.write("Sofya Raskhodnikova");
}
function cynthia()
{
document.write("Cynthia Dwork");
}
function jain()
{
document.write("Rahul Jain");
}
function mcallester()
{
document.write("David McAllester");
}
function jaikumar()
{
document.write("Jaikumar Radhakrishnan" );
}
function harry()
{document.write("Harald Räcke");
}
function hayes()
{document.write("Tom Hayes");
}
function hariharan()
{document.write("Hariharan Narayanan");
}
function arie()
{document.write("Arie Matsliah");
}
function lachish()
{document.write("Oded Lachish");
}
function nati()
{document.write("Nathan Srebro");
}
function venkatc()
{document.write("Venkat Chandrasekaran");
}