Summary of this page:[Research areas][Projects][Publications][Talks][University of Bucharest][Courses][Supervisions][Studies; Positions held][Conferences][Seminars][Cite][CV][Misc][Address]
Gheorghe Stefanescu
Professor of Computer Science, University of Bucharest
and
Senior Fellow, National University of Singapore
Research areas
- algebraic theory of networks
- models of concurency: process algebra, Petri nets, dataflow networks
- distributed, parallel and hybrid systems
- programming languages, theory of programming, semantics
- object oriented programming, UML-modelling, software engineering
- algebraic and categorical logic
- applications of category theory and logic to computing
- NATO Collaborative Research Grant on Dynamic Dataflow Networks, 1998-1999. Collaboration between University of Bucharest and Technical University Munich. (Co-chief of the Project)
- European Community ESPRIT Basic Research Action 8533, project NADA, 1997. (Invited Advisory Expert)
- Romanian Ministry of Research and Technology Grant, for the project 2096-B9/1996 Formal Methods in the Study of Distributed Computing. FEST Language, from 1996 on. (Chief of the Project)
- German Academy DAAD Grant, 1994, for the project Stream Semantics for Distributed Computing. (Personal Grant)
Informatics is studied at the University of Bucharest within the Faculty of Mathematics (and Informatics). Currently, there are about 800 undergraduate students, divided into 3 sections: Informatics - 4 years (3-400 students); Mathematics and Informatics - 5 years (to produce high-school teachers for both fields; 300 students); Informatics - 3 years (more practically oriented program; 200 students). There are also about 40 graduate students following two 2-year M.Sc. programs on Applied Informatics and Theoretical Informatics. More than 50 permanent faculty members (including 7 full professors), are involved in the teaching process; there is also a large number of open positions, at all levels.
Undergraduate Courses:
- Models of Parallel Computation (Process Algebra and Temporal Logic models) (4th year; '94-'99)
- Object-oriented programming; Java language (3rd year; '00-'01)
- Compilers (3rd year; '99-'01)
- Distributed systems (4th year; '00-'01)
- Formal Languages and Automata Theory; Calculability; Program Verification (2nd year; '93-'97)
- Parallel Computation and Concurrency (3rd year; '94-'95)
- Algebraic Fundamentals of Computer Science (2nd year; '93-'94)
- Introduction to Programming; Logic and Computability (1st year; '93)
Graduate Courses:
- Models of Parallel Computation (Petri nets, dataflow networks, asynchronous automata) (1st semester;)
- Algebraic Theory of Flowcharts (2nd and 3rd semester;)
- Formal Methods in Software Development (3rd semester;)
Other Courses:
- A tutorial intorduction to Network Algebra, presented as a satellite event to the 6th RelMiCS Conference, The Netherlands, October 2001
- A short course on Algebra of Networks, Marktoberdorf Summer School on ``Proof and System Reliability'', July 25 - August 5, 2001 Marktoberdorf, Germany
- Graduate Course on Special Topics in Network Algebra, Dec.1997--Feb.1998, GKLI, (Graduate School for Logic in Computer Science), Technical University and Ludwig Maximillian University Munich, Germany.
- Graduate Course on Network Algebra, Fall, 1997. Department of Informatics, Kyushu University,
Fukuoka, Japan
- Kleene algebras of two dimensional words: A model for interactive systems. Dagstuhl Seminar on "Applications of Kleene algebras", Seminar #01081, 19-23 February, 2001.
- Using space-time duality to structure interacting systems. Anual Meeting, IFIP Working Group 2.2, Oldenburg, Germany, September 25-29, 2000.
- Mixed network algebra: Towards an algebraic calculus for software systems. Anual Meeting, IFIP Working Group 2.2, Udine, Italy, June 27 - July 1, 1999.
- Network algebra: Past, present, future. SLACS'97 - Symbolic Logics and Computer Science, Fukuoka, Japan, October 29-31, 1997
- 1st Romanian-Japanesse Workshop on Algebraic Specifications, Sinaia, Romania, August 24-28, 1997
Selected conferences and seminar organization
[More on this?]
[Back to top]
Committee Programme:
- ICALP 2002 (International Colloquium on Automata, Languages and Programming), Malaga, Spain, 2002
- Workshop on Distributed Computing, Satellite workshop of the 12th FCT (Fundamantals of Computer Science Conference), Iassy, Romania, September 2-3, 1999
Research seminars:
- Distributed Systems, University of Bucharest, Romania, from 1997
- Algebraic Methods in Computer Science, University of Bucharest, Romania, from 1994 to 1996 (jointly with V.E. Cazanescu and R. Diaconescu)
Books
- Gh. Stefanescu. Network Algebra, Springer-Verlag, London Berlin Heidelberg New-York Paris Tokyo Hong-Kong Barcelona Budapest, 2000, XVI+400pp. ISBN: 1-85233-195-X
- G. Stefanescu (ed.). Proceedings of FCT'99 Workshop on Distributed Systems. Electronic Notes in Theoretical Computer Science, Volume 28, 2000.
- C.S. Calude, G. Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift. Journal of Universal Computer Science, Volume 6(1), January, 2000.
Journals
- M. Broy and Gh. Stefanescu. The algebra of stream processing functions. Theoretical Computer Science, 251(2001).
- C.S. Calude and G. Stefanescu. Automata, Logic, and Computability: JUCS Special issue dedicated to Professor Sergiu Rudeanu Festschrift. Journal of Universal Computer Science Volume 6(1)(2000), 1--2.
- R. Grosu, D. Lucanu, and Gh. Stefanescu. Mixed relations as enriched semiringal categories. Journal of Universal Computer Science, 6(1)(2000), 112--129.
- J.A. Bergstra and Gh. Stefanescu. Network algebra with demonic relation operators. Revues Roumaine de Mathematiques Pures et Applique, 43(5-6)(1998), 503--520.
- Gh. Stefanescu. Reaction and control I. Mixing additive and multiplicative network algebras. Journal of Interest Group in Pure and Applied Logic, 6(2)(1998), 349--368. (Logic Journal of the IGPL, Oxford University Press).
- Gh. Stefanescu. Some examples of semiringal categories. Annals of the Bucharest University, Mathematics-Informatics Series, 47(1998), 103--108.
- J.A. Bergstra, C.A. Middelburg, and Gh. Stefanescu. Network algebra for synchronous and asynchronous dataflow. International Journal of Computer Mathematics, 65(1-2)(1997), 57--88.
- J.A. Bergstra and Gh. Stefanescu. Processes with multiple entries and exits modulo isomorphism and modulo bisimulation. Fundamenta Informaticae, 27(1996), 37-56.
- S.L. Bloom, Z. Esik, and Gh. Stefanescu. Notes on equational theories of relations. Algebra Universalis, 33(1995), 98--126.
Conference proceedings
- R. Grosu, M. Broy, B. Selic, and Gh. Stefanescu. Towards a calculus for UML-RT specifications. In: Proc. OOSLA'98, Kluwer Academic Publishers, 1999.
- Gh. Stefanescu. Remarks on mixalgebras. In: Proc. 4th International Symposium on Economic Informatics, Bucharest, May 1999, 1045--1053. INFOREC Printing House, Bucharest, 1999.
- R. Grosu, Gh. Stefanescu, and M. Broy. Visual formalism revised. In: Proceedings, International Conference on Application of Concurrency to System Design (CSD' 98), March 23-26, 1998, Aizu-Wakamatsu, Japan. IEEE Computer Society Press, 1998, pp. 41-51.
- Gh. Stefanescu. On space-time duality in computing; imperative programming versus wave computation. In: Abstracts, 4th Relational Methods in Computer Science Seminar, Stefan Banach Mathematical Center, Warsaw, 1998, pp. 197-202.
- Gh. Stefanescu. A short tour on FEST. In: Proc. Current Trends in Cybernetics and Philosophy of Science, Oradea, 1996. Europa Nova, Bucharest, 1997, pp. 327-332.
- Gh. Stefanescu. Axiomatizing mixed relations. In: Proc. 3rd Relational Methods in Computer Science Seminar, Hamammet, 1997. University of Science, Technology, and Medicine of Tunis, 1997, pp. 177-187.
- Gh. Stefanescu and Y. Kawahara. Distributive categories and mixed network algebras. In: Proc. Joint Conference on Discrete Mathematics and Applied Mathematics, Seta, Japan, 18-20 December, 1997, pp. 29-34.
- J.C.M. Baeten, J.A. Bergstra and Gh. Stefanescu. Process algebra with feedback. In: Modal Logic and Process Algebra, Proceedings of the Workshop ``Three Days of Bisimulation'' held at Amsterdam, The Netherlands, 1994. Eds., A. Ponse, M. de Rijke, and Y. Venema. CSLI Lecture Notes No. 53, Stanford, 1995, 13-37.
- J.A. Bergstra and Gh. Stefanescu. Processes with multiple entries and exits. In: Proceedings of the 10th International Conference on Fundamentals of Computation Theory FCT'95 held at Dresden, Germany, 1995. Ed. Reichel, H., Lecture Notes in Computer Science, 965. Springer-Verlag, Berlin, 1995, 136--145.
- V.E. Cazanescu and Gh. Stefanescu. Feedback, iteration and repetition. In: Mathematical aspects of natural and formal languages, Ed. Gh. Paun. World Scientific, 1995, 43--62.
Technical reports
- M. Broy and Gh. Stefanescu. The algebra of stream processing functions. Technical Report TUM-I9620, Institute for Informatics, Technical University Munich, May 1996.
- Gh. Stefanescu. Reaction and control I. Mixing additive and multiplicative network algebras. Preprint No. 33/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.
- Gh. Stefanescu. Axiomatising mixed relations (preliminary results). Preprint No. 37/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.
- Gh. Stefanescu. A short tour on FEST. Preprint No. 38/1996, Institute of Mathematics of the Romanian Academy, Bucharest, 1996.
- J.A. Bergstra, C.A. Middelburg, and Gh. Stefanescu. Network algebra for synchronous and asynchronous dataflow. Technical Report PRG-9508, Programming Research Group, University of Amsterdam, 1995. Revised version of: Logic Group Preprint Series 122, Department of Philosophy, Utrecht University.
- J.A. Bergstra and Gh. Stefanescu. Processes with multiple entries and exits. Preprint 16/1995, Institute of Mathematics of the Romanian Academy, Bucharest, 1995.
- J.A. Bergstra and Gh. Stefanescu. Network algebra with demonic relation operators. Technical Report PRG-9509, Programming Research Group, University of Amsterdam, 1995.
Master students:
- Alin Stefanescu, Flownomial calculus: from theory to practice, University of Bucharest,
Romania, 2000. He is currently a Ph.D. student in Computer Science, GKLI (Graduate School for Logics and
Computer Science), Technical University Munich, Germany
- Alexandru Jugravu, On spi calculus, University of Bucharest, Romania, 1999.
He is currently a Teaching Assistant at University of Bucharest, Romania.
- Dumitru Potop-Butucanu, Getting efficient C cod for Esterel programs, University of
Bucharest, Romania, 1999. He is currently a Ph.D. student in Computer Science, INRIA, Sophia-Antipolis,
France.
- Daniela Georgescu, Linear logic and applications, University of Bucharest, Romania, 1997.
She is currently a Teaching Assistant at University of Bucharest, Romania.
Other supervision:
- Radu Soricut, A discrete time network algebra for the semantics of SDL, University of
Bucharest, Romania, 1998 - B.C. Thesis. He is currently a Ph.D. student in Computer Science, University
of Iowa, USA.
- Bogdan Warinschi, Timed frames models for timed process algebra, University of Bucharest,
Romania, 1998 - B.C. Thesis. He is currently a Ph.D. student in Computer Science, University of
California at San Diego, USA.
- Mihaela Gheorghiu, Process algebra with data, University of Bucharest, Romania, 1997 -
B.C. Thesis. She is currently a Ph.D. student in Computer Science, University of Rocester, USA.
Studies:
- Ph.D. Studies in Computer Science and Mathematics (1989-1991; University of Bucharest, Romania; Degree: Ph.D. in Mathematics, Computer Science Speciality 1991; Ph.D. Thesis: Determinism and Nondeterminism in Program Scheme Theory; Algebraic Aspects; Supervisor: Professor Dr. Sergiu Rudeanu)
- Graduate Studies in Computer Science (1979-1980; University of Bucharest)
- Undergraduate Studies in Computer Science (1975-1978; idem)
Permanent Positions:
- Professor, Faculty of Mathematics, University of Bucharest, Bucharest, Romania (2000-present)
- Associate Professor, Faculty of Mathematics, University of Bucharest, Bucharest, Romania
(1995-2000)
- Principal Research Scientist, Institute of Mathematics of the Romanian Academy, Bucharest, Romania
(1990-1995)
- Junior Research Scientist, Department of Mathematics, The National Institute for Scientific and
Technical Creation (INCREST), Bucharest, Romania (1982-1990)
- Programmator, Department of Mathematics, INCREST, Bucharest, Romania (1980-1982)
Some Visiting Positions:
- Senior Fellow, Department of Computer Science, The National University of Singapore: from August 2001
- Visiting Researcher, Technical University Munich, Germany: July 2001; July - August 1999; February - March 1999; July 1997; June - August 1994
- Visiting Professor, Graduate School for Logic in Computer Science, Technical University and Ludwig Maximillian University Munich, Germany, from December 1997 to February 1998
- Visiting Professor, Department of Informatics, Kyushu University, Fukuoka, Japan, fall semester 1997
- Visiting Researcher, Programming Research Group, Faculty of Mathematics and Computer Sceince, University of Amsterdam, The Netherlands: September - October 1995; January - February 1994
- Visiting Researcher, Department of Philosophy, Utrecht University, The Netherlands, September - October 1994
Professional associations
- Member of: European Association for Theoretical Computer Sceince, from 1990 on.
- Member of: European Association for Computer Science Logic, from 1994 on.
- Member of: American Mathematical Society, from 1994 on.
Other positions:
- Director, CLIB - Center of Logic and Informatics, Bucharest.
- Member of the Professorial Council, Faculty of Mathematics, University of Bucharest, Romania, from January 1996 on.
- Chief of the Computer Science Section, Institute of Mathematics of the Romanian Academy, Bucharest, Romania, from March 1990 to February 1992
A few references on my work may be found via ResearchIndex site; see
ResearchIndexCitations
If you want to find out more about my career and academic achievements etc., then you can have a look at my more detailed curriculum vitae.
I am married with Elena Stefanescu (former name Mavru) chemist (B.Sc., M.Sc.), part-time assistant at the Department of Physical Chemistry, Faculty of Chemistry, University of Bucharest. We have two junior school children Andrei and Cristina.
[to be fixed]
Residence:
105 Clementi Road, Block B, #07-03, Singapore 129789; Tel:+65-6464-0572
Snail address:
The National University of Singapore, Department of Computer Science, 3 Science Drive 2, Singapore 117543
Office:
The National University of Singapore, School of Computing, Building S-16, Level 4, Room 16; Tel:+65-6874-6613; Fax:+65-6779-4580
Email: gheorghe@comp.nus.edu.sg
URL: http://www.comp.nus.edu.sg/~gheorghe/
Summary of this page:[Research areas][Projects][Publications][Talks][University of Bucharest][Courses][Supervisions][Studies; Positions held][Conferences][Seminars][Cite][CV][Misc][Address]
| 
Computer Science Dept, National University of Singapore