Frank D. Valencia
- PhD in Computer Science from Aarhus University, Denmark 2002.
- Masters in Computer Science from Aarhus University, Denmark 2000.
- BSc in Computer Science and Engineering from La Pontificia Universidad Javeriana de Cali in 1998.
- 2015-present: Associate Professor Pontificia Universidad Javeriana Cali.
- 2004-present: Senior Researcher at CNRS LIX Ecole Polytechnique de Paris.
- 2002-2004: Postdoctoral researcher at University of Uppsala, Sweden.
- 2000-2000: Visiting Researcher Penn State University, USA.
- 2000-2002: Teaching Assistant at Aarhus University, Denmark.
- 1996-1997: Assistant Professor Pontificia Universidad Javeriana Cali.
Frank Valencia’s main interests are within Formal Methods in Computer Science, in particular Concurrency Theory, Logic and Constraint-based Formalisms. He has published results on the computational expressiveness of well-stablished process calculi such as CCS (Calculus of Communicating Systems), the π-calculus and CCP (Concurrent Constraint Programming). In particular, he has given expressiveness distinctions between dynamic and static scope as well as replication and recursion in CCS and CCP, a Chomsky-like hierarchy of fragments of CCS, separation results for linear and persistent fragments of the π-calculus, and the Büchi-automata characterization of timed CCP. Frank Valencia has established new connections between the areas of concurrency theory and logic by providing first-order, temporal and epistemic logic interpretations of concurrent phenomena such as mobile, timed, spatial behavior. He has used these connections to prove new results in these areas such as the decidability of the observational equivalence for several fragments of the π-calculus and the decidability of satisfiability for the existential fragment of first-order temporal logic. He has been one of the originators of constraint-based process calculi for analyzing timed, mobile, spatial and epistemic behavior in concurrent systems. Over a decade ago he published work on search and consistency algorithms for CSP (Constraint Satisfaction Problems), and introduced the notion of Infinite (or unbounded) CSP.
As of 2016, Frank Valencia has published over 50 articles in international peer-reviewed venues with around a thousand citations. He has the following currently sponsored research projects (2016):
- Project D-Spaces: Modeling of spatial concurrent systems (social networks) (Digiteo, France).
- Project Verification of epistemic distributed systems (INRIA, France)
- Project CLASSIC: Concurrency, Logic and Algebra for Social and Spatial Interactive Computation (Colciencias, PUJ Cali, Ecole Polytechnique)
- Project Music and spatial interaction with constraints, algebra and logic: foundations and applications (URFN Brazil, PUJ, Ecole Polytechnique France)
- Project ANR 12IS02001 BLIN Project on co-inductive methods PACE (Basic Lab China, INRIA France, Univ. of Bologna Italy)
From 2014 to July 2016 Frank has published the following works.
At International Peer-Reviewed Journals and Conferences.
- Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion. Accepted at the Journal of Logical and Algebraic Methods in Programming. Elsevier 2016. ISSN: 2352-2208. <hal-01257113v2> . To appear.
- Luis Fernando Pino Duque, Filippo Bonchi, Frank Valencia. Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming. Science of Computer Programming, Elsevier, 2015, 111, pp.135-155. <hal-01098502>
- Luis Pino, Andres Aristizabal, Filippo Bonchi, Frank Valencia. Weak CCP bisimilarity with strong procedures. Science of Computer Programming, Elsevier, 2015, 100, pp.84-104. <hal-00976768v2>
- Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia. Deriving Inverse Operators for Modal Logic. ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing. Springer, Lecture Notes in Computer Science. 2016 <hal-01328188>. To appear.
- Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic. Elvira Albert ; Moreno Falaschi. 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. ACM SIGPLAN, pp.161-172, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). <hal-01256984>.
- Fabio Gadducci, Francesco Santini, Luis Pino, Frank Valencia. A Labelled Semantics for Soft Concurrent Constraint Programming. Tom Holvoet; Mirko Viroli. Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2015), Jun 2015, Grenoble, France. Springer, 9037, pp.133-149, 2015, Lecture Notes in Computer Science. <hal-01149227>
- Luis Fernando Pino Duque, Filippo Bonchi, Frank D. Valencia. A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic Choice. Gabriel Ciobanu and Dominique Méry. ICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. Springer, 8687, pp.351-368, Lecture Notes in Computer Science. <hal-01006382v2>
- Michell Guzman, Frank Valencia. On the Expressiveness of Spatial Constraint Systems. Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). To Appear.
- Salim Perchy, Frank Valencia. Opinions and Beliefs as constraint system operators. Marina De Vos; Thomas Eiter; Yuliya Lierler; Francesca Toni. Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015). <hal-01257098>.
Book Scientific Edition
- Martin Leucker, Camilo Rueda, Frank Valencia. Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Springer, 9399, 2015, 978-3-319-25149-3. <hal-01257171>.
- Sibylle B. Fröschle Frank Valencia. Special Issue Best Papers at the 18th International Workshop on Expressiveness in Concurrency. Mathematical Structures in Computer Science 26(6): 907 (2016). DOI: http://dx.doi.org/10.1017/S0960129514000371.
Bas Luttik, Frank Valencia. Special Issue Best Papers at the 19th International Workshop on Expressiveness in Concurrency. Mathematical Structures in Computer Science. DOI: http://dx.doi.org/10.1017/S0960129514000607. 2014