Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
University of Bucharest, Bucharest, .
E-mail: trimite un mesaj.
Pagina web a instituţiei: http://fmi.unibuc.ro
Pagina web personala: http://alexsof.8k.ro
Nascut(a) in: 1982
Interese: Informatică teoretică
Details:
Interested mainly in Theoretical Computer Science: Cryptography and Information Security, Formal Verification Systems, Formal Language Theory.
Publicații selectate:
* Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu, Undecidability Results for Finite Interactive Systems, Romanian Journal of Information Science and Technology, 12 (2), 2009.
* Alexandru Sofronia, Alexandru Popa, Gheorghe Stefanescu, Undecidability Results for Finite Interactive Systems, Proceedings of SYNASC 2008 -10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008.
* Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia, Strategy-based and knowledge-based models of information flow: equivalence and decidability, Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), 2007.
* Alexandru Popa , Alexandru Sofronia , Gheorghe Stefanescu, High-level Structured Interactive Programs with Registers and Voices, Journal of Universal Computer Science, 13 (11), 2007.