Research activities

#	Research activities	Keywords
1.	Algorithm control and hyper-parameter tuning
2.	Algorithms for networked systems
3.	Automated Proof, SMT and Applications
4.	Automated Reasoning
5.	Combinatorics
6.	Compilation and code optimization
7.	Data-Centric Languages and Systems
8.	Deductive Verification of Programs
9.	Digital Fabrication
10.	Distributed algorithms
11.	Distributed Design
12.	Engineering of interactive systems	Human-Computer Interaction
13.	Fab lab
14.	Formal Model-Based Testing
15.	Formalisation and Proof of Numerical Programs
16.	Formalisation of (Specification and Programming) Languages in Proof Assistants
17.	Generative design methods	Human-Computer Interaction
18.	Graph Theory
19.	High-performance computing
20.	Integration of Data and Knowledge
21.	Interaction and visualization paradigms	Human-Computer Interaction
22.	Large scale modelling
23.	Massively distributed algorithms for complex data
24.	Mediated collaboration	Human-Computer Interaction
25.	Networking	Green networks, Heterogeneous Wireless Networks, Multi-hop wireless networks, Network coding, Wireless and mobile networks
26.	Networking optimization	Real-time networks
27.	New criteria design
28.	Numerical stochastic optimization
29.	Optimal decision making under uncertainty
30.	Parallel architectures
31.	Quantum computing
32.	Stochastic Combinatorial Optimization	Semidefinite optimization
33.	Structural biology
34.	synthetic biology
35.	Synthetic biology
36.	System Biology
37.	Web data management

---

Keywords

#	Keywords	Parent activities
1.	Green networks	Networking
2.	Heterogeneous Wireless Networks	Networking
3.	Human-Computer Interaction	Engineering of interactive systems, Generative design methods, Interaction and visualization paradigms, Mediated collaboration
4.	Multi-hop wireless networks	Networking
5.	Network coding	Networking
6.	Real-time networks	Networking optimization
7.	Semidefinite optimization	Stochastic Combinatorial Optimization
8.	Wireless and mobile networks	Networking