Hugo Andrés López
Adjunkt
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
I am a researcher in computer science with experience in Formal Methods, Distributed Systems, and Business Process Management. I mainly specialise in process-oriented technologies, their theoretical formalisation (process calculi), their formal verification, their adoption via software tools (software engineering), and their empirical validation. I do this using a cross-disciplinary and a cross-sectorial approach. In addition, I led the technology transfer of these academic efforts into tools at our industrial partner (DCR Solutions), whose technology currently supports the Danish Central Government institutions. My research objectives involve the maturing of a new generation of process technologies that can adapt to citizen needs, while still be compliant with regulations and laws. Such technologies should have a digital component, in terms of software tools that support the digitalization of work processes. Finally, technologies should be understandable, even for people that do not have a computer science background.
Active Research Fields:
- Business Process Management (Languages, Tools, Human Factors)
- Model-Driven Software Engineering
- Programming Languages (Programming Language Design and Verification)
- Distributed Systems
- Applications of AI in modelling, in particular, Natural Language Processing
More information on my personal page: http://www.lopezacosta.net
ID: 234123475
Flest downloads
-
279
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
29
downloads
The Process Highlighter: From Texts to Declarative Processes and Back
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt