My Picture

Welcome to Emilio's home page. I am very fortunate to be a postdoctoral researcher at the Putting Differential Privacy to Work project in the University of Pennsylvania. Find below some of my papers and miscellaneous information. You are very welcome to contact me.


In the past I've worked on: logic programming, constraint solving, operating systems, server and network administration, collaborative web tools design and implementation, multi-paradigm declarative programming.



Juan José Moreno Navarro, José Manuel Fernández de Labastida, Emilio Jesús Gallego Arias, Antonio Cidoncha. Modern development of a Law Proceedings of the International Conference on ICT LAW 2013 (Information and Communication Technology and Law - Protection and Access Rights) November 2013, Porto, Portugal. [PDF soon]
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce. Sensitivity Analysis using Type-Based Constraints Functional Programming Concepts In Domain-Specific Languages September 2013, Boston, MA. [PDF]
Emilio Jesús Gallego Arias. Relational and Allegorical Semantics for Constraint Logic Programming Advisors: James Lipton and Julio Mariño. July 2012, Universidad Politécnica de Madrid. [PDF]
Emilio Jesús Gallego Arias and James Lipton. Logic Programming in Tabular Allegories Technical Communications of the 28th International Conference on Logic Programming. September 2012. [PDF]
Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, and Pablo Nogueira. First-order unification using variable-free relational algebra. Logic Journal of IGPL, 19(6):790-820, 2011. [PDF]
Álvaro García, Pablo Nogueira and Emilio Jesús Gallego Arias The beta cube (extended abstract) In César Muñoz and Hélène Kirchner, editors, Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS’10) Edinburgh, UK, July 9 2010. [PDF]
Emilio Jesús Gallego Arias, Julio Mariño, and José; María Rey Poza. A generic semantics for constraint functional logic programming. In Proc. of the 16th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), 2007. [PDF]
Emilio Jesús Gallego Arias and Julio Mariño and José María Rey Poza A proposal for disequality contraints in Curry Electr. Notes Theor. Comput. Sci., 177:269-285, 2007. [PDF]
Emilio Jesús Gallego-Arias and Julio Mariño. An overview of the Sloth2005 Curry system. In Michael Hanus, editor, Workshop on Curry and Functional Logic Programming, ACM press, 2005. [PDF]


Some Talks


I'm a native of Las Pedroñeras, Cuenca, Spain, placed in "La Mancha" region and included in "La Ruta de Don Quijote". My hometown is distinctly known for its superior purple garlic (ajo morado).

My first name is Emilio Jesús and my two family names are Gallego (father's) and Arias (mother's), as is customary in Spain.

I was close to pursuing a career in piano playing. I maintain interest in piano and classical music and try to practice often. My favorite pianist is Claudio Arrau. See him here and here, performing at his best. A true heir to Liszt's spiritual school, his playing is one of the last witnesses of the romantic style.

I consider myself an "Objective" audiophile. See NwAvGuy's great blog for more information about audio myths. Building an excellent Hi-Fi setup is not expensive, don't be fooled by snake-oil vendors, an O2 and pair of good headphones will provide superior sound quality for a modest cost. The O2 is "open hardware", so you can built it yourself for much less money, but you'll need to invest a significant amount of time.

Tools I use


Electronic address

emilioga at(@) cis (dot) upenn (dot) edu

My gpg public key F878 DB33 AA77 EB4E 058F 94B3 D3DA 7A34 4681 F041. Provided you have control over your browser and you trust Comodo, you can securely retrieve my public key from here.

Physical Location

Desk H, 223 Towne Building

Mail address

Emilio Jesús Gallego Arias
PostDoctoral Researcher
University of Pennsylvania
Department of Computer and Information Science
3330 Walnut Street
Philadelphia, PA 19104 - USA


+1 215 220 5881 (Mobile)
ejgallego (Skype/Hangouts)


Last modified: February 16th, 2014. XHTML 1.1 compliant. Optimized for mobile.
Valid XHTML	1.1