Distributed and Secure Software (DistriNet) KU Leuven
Distributed and Secure Software (DistriNet)
Distributed and Secure Software (DistriNet)
The Department of Computer Science consists of five units. Four of these are spread across eight locations in Flanders, with the focal point in Leuven at the Arenberg Campus: Distributed and Secure Software (DistriNet), Declarative Languages and Artificial Intelligence (DTAI), Human-Computer Interaction (HCI), and Numerical Analysis and Applied Mathematics (NUMA). The fifth unit is located at the Kulak Kortrijk Campus ...
- Study of declarative programming languages (logic & functional) and their applications. - Efficient implementation of declarative programming languages. - Development tools for declarative programming languages, incl. tools for program analysis, verification and transformation & tools based on abstract interpretation. - Knowledge representation & reasoning in logic programming, representation of open knowledge domains, ...
MSEC-DistriNet is active in the domain of distributed applications with a major focus on software security technologies and software for next-generation Internet-of-Things environments. Research focuses on the design, development and analysis of advanced applications and software ecosystems, while closing the gap between academic research and industrial applications. The research group has gained expertise in many key technologies in the ...
Research in the areas of probability, statistics, stochastic processes, information theory, coding theory, numerical mathematics. Collaboration with other sections of the university, in particular engineering, medicine, social science, psychology, actuarial studies. Some current research topics: - Simulation, Monte Carlo methods, queueing theory, networks. - Nonparametric statistics, extreme value theory, insurance math. - Statistical design ...
As a result of the different backgrounds of the members of the team, significant know-how is available in the fields of computer networks, artificial intelligence, parallel and distributed systems, management information systems and databases. 1. The digital TELEcommunications research group has been and is still involved in several R&D contracts with telecommunications equipment manufacturers. Most of them are centred on the introduction ...
The LICT Center bundles the complementary expertise of (electronic) engineers, computer scientists, sociologists and law experts all active in the area of ICT, being it hardware, software, or related legal and social aspects.
The research activities of the center can be classified in 8 research lines.
- Analog, Mixed-Signal & RF building blocks
- Circuits & Systems for Sensing & Communications
- ...
The Laboratory for Digital Telecommunications and Parallel & Distributed Processing (TELE) started its activities from a background in computer engineering. Two distinct but related topics are covered: Digital Telecommunications and Parallel & Distributed Processing. The research activities are spread over three (sub)teams. The mission is to do practical, "real-world" application oriented research. The typical research innovation ...