Jifeng He

Prof. Jifeng He schloss sein Studium der Mathematik an der Fudan-Universit�t im Jahr 1965 ab. Von 1965 bis 1985 war er Dozent an der East China Normal University. In den Jahren 1980-1981 war er Gastwissenschaftler an der Stanford University und der University of San Francisco in Kalifornien, USA. Von 1984 bis 1998 war Jifeng He Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Er besch�ftigte sich intensiv mit formalen Aspekten der...See more

Prof. Jifeng He schloss sein Studium der Mathematik an der Fudan-Universit�t im Jahr 1965 ab. Von 1965 bis 1985 war er Dozent an der East China Normal University. In den Jahren 1980-1981 war er Gastwissenschaftler an der Stanford University und der University of San Francisco in Kalifornien, USA. Von 1984 bis 1998 war Jifeng He Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Er besch�ftigte sich intensiv mit formalen Aspekten der Computerwissenschaft. Insbesondere arbeitete er mit Prof. Sir Tony Hoare zusammen, zuletzt an Unifying Theories of Programming, woraus ein gleichnamiges Buch entstand. Seit 1986 ist Jifeng He Professor f�r Informatik an der East China Normal University in Shanghai, China. Im Jahr 1998 wurde er Senior Research Fellow am Internationalen Institut f�r Softwaretechnologie (UNU-IIST) der Universit�t der Vereinten Nationen in Macau. Im Jahr 2005 zog er zur�ck nach Shanghai. Jifeng He Forschungsinteressen umfassen die Theorie der Vertrauensw�rdigkeit und Informationssicherheit, die Theorie der nebenl�ufigen Programmierung, Methoden und Werkzeuge f�r den Entwurf eingebetteter Systeme, hybride Software- und Hardwaresysteme sowie Computersoftware und -theorie. Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gew�hlt. See less