Research in Computer Science and its Applications
The Pragmatics laboratory is a laboratory focused on computer science research and its applications. Concretely, we work on software development from programming languages and software engineering; in addition, we study real-world applications of computer science. If you are interested in knowing more about us, please visit research areas and publications Web pages.
An article is accepted in Science of Computer Programming
The paper “Which Monads Haskell Developers Use: An Exploratory Study” has been accepted in Science of Computer Programming, which is a specialized journal in programming languages and software engineering. Abstract:Monads are a mechanism for embedding and reasoning about notions of computation such as mutable state, I/O, exceptions, and many others. Even though monads are technically […]
A new journal paper: “Identifying the use of Information Systems for Micro, Small, and Medium Enterprises in La Serena and Coquimbo (Chile)”
A paper in the “business for computing” area was accepted in the journal “Revista de Investigación Aplicada en Ciencias Empresariales” (Chilean Journal – LatinIndex). The purpose of this article is to determine gaps presented by Small businesses in the Coquimbo region in the use of SIAs. Of the total number of companies surveyed (N =106), […]
We develop tools, techniques, and methodologies to help software developers be better at their job of creating scalable, maintainable, and robust software products. We have a particular focus on language-based mechanisms and paradigms, as well as language-oriented tools.
We develop middleware systems for distributed systems such as wireless sensor networks, Internet of Things, and autonomous robots. We also develop system software such as embedded operating systems and virtual machines that support the infrastructure of distributed systems.
Computing for Business
We develop novel computational solutions to business problems related to finance, accounting, tourism, decision science, and information systems. Our work is not only focused on advanced business analytics, but also in the application of agent-based simulations to improve the comprehension of complex economical phenomena.