[ papers | cs3211 | cs3234 ][ nus | soc | courses ]

[ tcs | i&c | lncs | dblp | AMS | ieee | acm | researchIndex | scholarGoogle ][google | amazon | yahoo | wikipedia ]

• PhD, University of Bucharest, 1991
  
  

• Senior Fellow, Department of Computer Science, National University of Singapore.
• Professor, Faculty of Mathematics and Computer Science, University of Bucharest
  
  

• (finite) interactive systems; timed systems; space-time duality
• concurrent, object-oriented systems
  (models, theory, verification, mobility, programming languages)
• (mixed) network algebra
  
  

Network Algebra, Springer-Verlag, 2000.
(Grigore Moisil Award of the Romanian Academy [html][jpg])

1. On flowchart theories. Part I. The deterministic case. Journal of Computer and Systems Sciences, 35(1987), 163-191. [pdf | ps.gz]
2. On flowchart theories. Part II. The nondeterministic case. Theoretical Computer Science, 52(1987), 307-340. [pdf | ps.gz]
3. Towards a new algebraic foundation of flowchart scheme theory. Fundamenta Informaticae, 13(1990), 171-210 (with V.E. Cazanescu). [pdf | ps.gz]
4. Algebra of Networks: Modeling simple networks, as well as complex interactive systems. In: Proof and System Reliability, Proc. 22th International Summer School - Marktoberdorf, Germany, 2001. Kluwer Academic Publishers, 49-78, 2002. [pdf | ps.gz]
5. Interactive systems with registers and voices. Draft, July 2004. [pdf | ps | abstract]
   
   

• CS-3211, Parallel and Concurrent Programming (Spring 2004, Spring 2003, Spring 2002)
• CS-3234, Logic and Formal Systems (Fall 2003, Fall 2002, Fall 2001)
  
  

• Space-time duality thesis
• Great IT problems for 21st century JACM, Vol.50(1), 2003

[ snsb ]