Background
Frias, Marcelo Fabian was born on March 12, 1968 in Buenos Aires. Son of Orlando Rodolfo Frias and Marta Susana Giorlando.
(Fork algebras are a formalism based on the relational cal...)
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.
http://www.amazon.com/gp/product/9810248768/?tag=2022091-20
http://www.amazon.com/gp/product/B010DQ5XRU/?tag=2022091-20
Frias, Marcelo Fabian was born on March 12, 1968 in Buenos Aires. Son of Orlando Rodolfo Frias and Marta Susana Giorlando.
License, Universidad de Buenos Aires, 1992. Doctor of Philosophy in Computer Science, Catholic Pontifical University, Rio de Janeiro, 1998.
Professor computer science Universidad de Buenos Aires, since 2000. Adjunct researcher Argentinean Council of Scientific and Technology, since 2002. Member program committee First Alloy Workshop, Portland, Oregon, 2006, International Conference Formal Engineering Methods, Macau, China, 2006, International Conference Formal Aspects Computing, Tunisia, 2006, International Conference Relational Methods in Computer Science, Manchester, 2006, others.
(Fork algebras are a formalism based on the relational cal...)
Member of Argentinean Society Computer Science (member directive council 2002-2007).
Married Norma Gladys Aguayo, November 17, 1995. Children: Eliana Tais Frias Aguayo, Gaston Dario Frias Aguayo.
