CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

Newsletter April 2014

In a series of lectures organized by the Centre for Array Technologies (CAT), a lecture on phased-array radar principles is organized at 4 april 2014.

Phased Array Radar : Principles and Advanced Techniques
Albert Huizing, TNO Senior Scientist

Radars with active phased array antennas have the ability to electronically control the beam direction and shape. This property allows phased array radars to optimize the dwell time and update rate for different radar functions, targets and environments. Furthermore, the shape of the transmit beam can be changed to support multiple beams on receive, thus enabling long dwell times and high update rates simultaneously. In addition, the distributed nature of power generation and signal reception in an active phased array antenna offers a graceful degradation of radar performance.

In this lecture, the principles of phased array radar will be presented and some of the trade-offs that emerge in the design of a phased array radar will be discussed. Advanced topics that will be addressed are synthetic aperture radar (SAR), Multiple Input Multiple Output (MIMO) radar, and compressive sensing.  

Dutch Model Checking Day – May 9, 2014
Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past twenty-five years, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems, and has induced certain industries to invest in the development and application of model checkers (e.g., Intel). The Dutch Model Checking Day (DMCD) is a forum for practitioners and researchers interested in model-checking based techniques for the validation and analysis of communication protocols and software systems. Topics covered in the DMCD include theoretical and algorithmic foundations and tools for distributed verification, large and infinite state spaces, coordination problems, timed systems and hybrid systems. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering.

The Dutch Model Checking Day aims at providing a forum for discussions, to exchange ideas and inform each other on the state of the art in this research area. Read the programme here. This year's DMCD coincides with the PhD defence of Alfons Laarman. At 16:45, Alfons Laarman will defend his thesis titled "Scalable Multi-Core Model Checking".

CTIT Symposium 2014: Taking care for tomorrow; Towards personalized health services
CTIT organizes its annual CTIT Symposium on Tuesday June 3 in Waaier 4.

Healthcare, especially the care for people with chronic conditions, has to change dramatically in the near future as the increasing demands in quality and quantity of care cannot be met with the present manpower and finances. The creation of a sustainable healthcare for our citizens that at the same time supports a healthy independent aging requires substantial innovations.

European ethics assessment to inspire the world

SATORI is a newly launched EU-funded project. SATORI aims to develop a common European framework for ethical assessment of research and innovation (R&I). R&I play an increasingly central role in the global economy and ethical assessment is a key institutional tool to ensure that R&I follow responsible pathways. Based on 45 months of thorough analyses and participatory processes engaging stakeholders and the public, the SATORI research consortium aims to consolidate and promulgate European practices of ethical assessment that can serve as an inspiration for other global powers. Prof. Philip Brey (Dept. of Philosophy) is project leader. Read the full press release.

CTIT column @ Innovation Exhibition in building the Gallery
Tuesday April 1, his Royal Highness King Willem Alexander officially opens the building the Gallery at our Campus. During the event organized by Kennispark Twente, the King visits an interactive exhibition. Starting from April 1, this exhibition is open for a broad audience. In this interactive exhibition you will find the CTIT column among the contributions of the University of Twente, Saxion University of Applied Sciences and the Regional Innovative Industry.

Left picture: the CTIT column to the left and right picture: the PIRATE – gastube inspection robot on display.

CTIT has launched a new website in February 2014.
In one overview, the CTIT homepage informs you of the latest news and events to go to. The outlook of the website fits the motto of the CTIT Institute: “ICT Research in Context”.

The new website contains new information, for example on the Centres of the Institute. If you happen to find information missing, please contact Nienke Nijenhuis, communication advisor for CTIT.


An updated list of calls / opportunities for funding can be found at the CTIT website.


April 17, 2014, prof.dr.ir. Raymond Veldhuis: Biometrie - op de grens tussen techniek en mens. 16.00 hrs in Prof. ir. M. P. Breedveld-zaal, Waaier.
The lecture will be in Dutch.    


April 10, 2014

L. Dalibert (GW/Philosophy): ‘Posthumanism and Somatechnologies: Exploring the Intimate Relations between Humans and Technologies’

April 17, 2014

M.T. Ngo (EWI/FMT): ‘Qualitative and Quantitative Information Flow for Multi-threaded Programs’

May 7, 2014

Ove E. Göttsche (EWI / HS): ‘Combined Risk Measures: Representation Results and Applications’

May 9, 2014

M. Badieh (EWI/DB): ‘Named Entity Extraction and Disambiguation for Informal Text: The Missing Link’

May 9, 2014

X. Zhang (EWI/DB-DMMP): ‘Algorithmic and structural aspects of graph partitioning and related problems’

May 9, 2014

A.W. Laarman (EWI/FMT): ‘Scalable Multi-Core Model Checking’

May 28, 2014

ir. W.A.P. van Kleunen (EWI/PS): ‘Echoes from the deep - Communication Scheduling, Localization and Time-Synchronization in Underwater Acoustic Sensor Networks’

May 28, 2014

F. Ahmed (EWI/DMMP): ‘Copositive Programming and Related Problems’

May 14, 2014

J.H. Rutgers (EWI/CAES): ‘Programming Models for Many-Core Architectures: A Co-design Approach’

June 13, 2014

Abeje Yenehun Mersha (EWI / RAM): ‘On Autonomous and Teleoperated Aerial Service Robots: Theory and Application’

June 18, 2014

ir. M.E.T. Gerards (EWI/CAES): ‘’ Algorithmic Power Management – Energy Minimisation under Real-Time Constraints’

June 18, 2014

Rudolf Haraksim (EWI / SCS) Validation of Likelihood Ratio Methods Used for Forensic Evidence Evaluation. Application in forensic Fingerprints.

June 19, 2014

Tauseef Ali (EWI / SCS) Biometric Score Calibration for Forensic Face Recognition

Read about the procedure to obtain a CTIT PhD thesis series number.