Prof.Dr. Gheorghe Stefanescu

Research

Current administrative work

• Tomescu'65 (01.11.2007): Combinatorics and Related Areas - An Workshop in Honour of the 65th Birthday of Ioan Tomescu (co-chief)
• JLAP special issue on Streams and Algebra (March 2008) (co-chief)
• TMCNAA 2007: LICS-2007 Workshop on Traced Monoidal Categories, Network Algebras, and Applications (co-chief)
• ICCP 2007: IEEE 3rd International Conference on Intelligent Computer Communication and Processing (PC member)
• ICCGI 2007: The Second International Multi-Conference on Computing in the Global Information Technology (PC member)
• KEPT 2007 Knowledge Engineering: Principles and Techniques (PC member)

Teaching at Univ. of Bucharest, 2004-present

Current courses, 2006-2007

• Arhitectura sistemelor de calcul (BSc Info, Anul I, Seria 13)
• Metode de dezvoltare software (BSc Info, Anul II, Seriile 23,24)
• Verificarea programelor si a sistemelor de calcul (BSc Info, Optional, Anul IV)
• Verificarea programelor si a sistemelor de calcul (Master, SistDist, Anul I)

Courses from previous years (2004-2006)

• Algebra programelor si a retelelor I (Master, InfoTeor, Anul I, 2004-2005)
• Algebra programelor si a retelelor II - siteme interactive (Master, InfoTeor, Anul I, 2004-2005)
• Arhitectura sistemelor de calcul (BSc Info, Anul I, 2005-2006, Seria 14)
• Calcul paralel si concurent (BSc Mate-Info, Anul III, 2005-2006, Seria 31)
• Capitole speciale de informatica: Algebre de procese (Master, InfoTeor, Anul II, 2004-2005)
• Dezvoltare de software - siteme interactive (Info, Seria InfoTeor, Anul IV, 2005-2006)
• Verificarea programelor si a sistemelor de calcul (Master, InfoTeor, Anul II, 2005-2006)