Alberto Lluch Lafuente
5
Seguidores
Personal Information
Organización/Lugar de trabajo
Copenhagen Area, Capital Region, Denmark Denmark
Ocupación
Associate Professor at Technical University of Denmark
Sitio web
www.imm.dtu.dk/~albl/
Acerca de
I am an Associate Professor in the Department of Applied Mathematics and Computer Science of the Technical University of Denmark (DTU), and a member of the Section on Formal Methods for Safe and Secure Systems. I teach Introduction to Coordination of Distributed Applications, Model Checking, and Computer Science Modelling. I do research on formal approaches to the specification, analysis and development of IT systems. I serve in several international scientific venues as member of the Program Committee.
Etiquetas
maude
rewriting logic
model checking
adaptation
autonomic computing
context oriented computing
formal methods
ascens
concurrent programing
verification
distributed computing
awareness
symmetry reduction
logical reflection
term rewriting
reflective computation
graphs
information security
iot
giraph
networks
big data
coordination
quantitative analysis
logic
qos
relaxed memory models
multi-core
gossip algorithms
cloud computing
computational fields
ant colony optimization
swarm computing
bisimulation
control synthesis
interface automata
adaptivity
control
reflection
wrla
state space explosion
contextj
ensembles
model transfrormation
graph transformation
mde
sos
aspectj
unification
rules
research
imt
teaching
computing
service
oriented
computer
science
algebra
process
calculus
graph
transformation
Ver más
- Presentaciones
- Documentos
- Infografías