Escolar Documentos
Profissional Documentos
Cultura Documentos
ACTULUS -
PARTNERS_ UNIVERSITY OF COPENHAGEN, DEPARTMENT OF MATHEMATICAL SCIENCES (IMF)/ EDLUND A/S (EDL)
PROJECT PERIOD_ 04/2011-09/2014 TOTAL AMOUNT FOUNDING_ DKK 2.228.035 IT UNIVERSITY AMOUNT_ DKK 780.431
IT UNIVERSITY OF COPENHAGEN
CAREMOVES
FI G U RIN G M OV EM EN T IN O LD A G E H O M ECA RE
GRANT FROM_ EU, FP7-PEOPLE-MARIECURIE-ERG EUROPEAN REINTEGRATION GRANT ITU PEOPLE INVOLVED_ PETER LUTZ FACULTY GROUP_ TECHNOLOGIES IN PRACTICE
Care Moves is a research project focused on movements in old age homecare. It is led by Peter A. Lutz, PhD Research Fellow at the IT University of Copenhagen. It is based on ethnographic fieldwor in the United States and Sweden, two countries that face the demographic challenge of an ageing population. Movement helps center a number of important challenges and emerging tensions in old age homecare. These include moving from home into a care facility, everyday mobility e.g. getting from A to B as well as the timing, spacing and acting of homecare delivery. Movement is often understood in literal terms. However it also involves figurativ dimensions such as the link between movement and independence, care as emotional movement and the sense of social connection engendered with IT devices. In this project movement is positioned as an ontological heuristic to empirically explore how tensions surface in the fiel of old age homecare. This includes how tensions are entangled with movements situated by homecare trajectories (the sites, actors, plans and actions). One practical ambition is to contribute scientifi knowledge that informs IT design and policy interventions aimed at alleviating tensions in care. It also aims to construct novel theoretical intersections between anthropology, science & technology studies (STS), human-computer interaction (HCI), design and care science. http://caremoves.wordpress.com/
IT UNIVERSITY OF COPENHAGEN
CHORDS -
PARTNERS_ IMPERIAL COLLEGE LONDON/ QUEEN MARY UNIVERSITY, LONDON/ MITRE, USA/ W3C, WS-CDL/
TOTAL AMOUNT FUNDING_ DKK 2.587.101 IT UNIVERSITY AMOUNT_ DKK 2.587.101 PROJECT PERIOD_ 01/2011 - 12/2013
IT UNIVERSITY OF COPENHAGEN
PARTNERS_
TEKNOLOGISK INSTITUTTET A/S (COORDINATOR)/ ALEXANDRA INSTITUTTET A/S AARHUS UNIVERSITET/ INSTITUT FOR ANTROPOLOGI, ARKLOGI OG LINGVISTIK/ NORMANN COPENHAGEN/ FRITZ HANSEN/ GAFFA/ JYSKE BANK/ POSTDANMARK PRIVATKUNDER/ PFA PENSION/ MCO APS MICROSEG/ TRANSLUCENT
TOTAL AMOUNT FUNDING_ DKK 2.858.310 IT UNIVERSITY AMOUNT_ DKK 1.416.677 PROJECT PERIOD_ 01/2011 - 12/2013
IT UNIVERSITY OF COPENHAGEN
CHOREOGRAPHIES
Grant from: The Danish Agency for Science, Technology and Innovation, Knowledge Voucher ITU people involved_Thomas Hildebrandt Partners_Exformatics Faculty group_Programming, Logic and Semantics Total Amount Funding_DKK 100.000 IT University Amount_DKK 100.000 Project Period_9/7-2010 to 9/4-2011 Exformatics offers electronic case- and document management, activity control and information sharing products. Like other similar solutions available in the market, these products currently handle case- and workf ows within individual organizations. Through collaboration with an actual customer the project aims to develop the ability of the product to handle cross-organization case- and workf ows by adding the latest ITU research in choreographies for web-services and workf ow process languages. Concretely, the research will contribute to the development of notations for the description of rules for safe and correct exchange of cases and case documents between organizations in connection with inter-organizational case- and work processes.
FOR CORRECT
WORKFLOWS
NTERACTIVE TRAINING
TECHNOLOGIES IN MUNICIPAL
REHABILITATION OF PATIENTS WITH HIP ALLOPLASTICS AND
Grant from: Prepatory project supported by Danish Enterprise and Construction Authority ITU people involved_Tomas Sokoler, Naveen Bagalkot Partners_Gentofte Kommune/Gladsaxe Kommune/Rudersdal Kommune/ Lyngby-Taarbk Kommune/DELTA Faculty group_Innovative Communication IT University Amount_DKK 107.713 Project Period_05/2010 - 12/2010 Retraning is an important health service task with great impact on succesful rehabilitation of post-treatment patients and, by extention, for their subsequent autonomy and percieved life quality. Having taken over this task in connection with the structural reform in Denmark, municipalities are experiencing a notable rise in demand for retraining and rehabilitation. New methods are needed in order to optimize the eff ciency of the existing measures and to stimulate the individual retraining efforts of post-treatment patients. Together with Delta and The IT University of Copenhagen, Rudersdal, Lyngby-Taarbaek, Gladsaxe and Gentofte municipalities intend to develop a project which aims to emply diagnosis-adjusted interactive traning technology for making existing training programmes more eff cient. This will be done by combining motivating interactive technologies from the gaming area with traning principles from the retraining and rehabilitation area, with the intention of developing new, diagnosis-specif c, interactive training programmes. Key target groups are the large diagnosis groups, patients with hip alloplastics and apoplexy patients.
APOPLEXY
AMAZON RESEARCH AWARD SURVEILLANCE IN DENMARK
ITU people recipients_Rasmus Pagh & Philippe Bonnet Faculty group_Eff cient Computation Total Amount Funding_DKK 79.100 IT University Amount_DKK 79.100 Project Period_2011 Pagh_Our claim is that it is not enough to build software that is scalable in terms of data size. If a truly smart and sustainable solution is sought, software should also be scalable in terms of other parameters such as the dimension of the data mining problem. The primary goal of the project is to demonstrate, on the Hadoop platform, the scalability of a new sampling-based approach to association mining that has previously shown excellent scalability (in terms of dimension) on data sets that f t within memory of a standard PC. Bonnet_While f ash devices are attractive in terms of performance and energy eff ciency, they are complex and undocumented and their performance characteristics cannot be reduced to a few simple formula. This is a challenge for system designers. A promising approach, pioneered for f le systems, consists in allowing a system to guide space reclamation on a f ash device. This is a form of cross-layer optimization at the IO stack level. Is this approach well suited for systems build on top of a f le system? Or for systems that bypass the f le system to implement their own storage manager (e.g., database systems)? These are the questions we propose to investigate in this project.
Grant from_The Danish Agency for Science, Technology and Innovation, Council for Communication and Culture (FKK) ITU people involved_Christopher Gad Coordinated by_Aarhus University, Department of information and Media studies Faculty group_Technologies in Practice Total Amount Funding_DKK 5.301.217 IT University Amount_DKK 12.160 Project Period_9/2010 - 8/2013 This is the f rst Danish research project to investigate surveillance in the contexts of police work and the administration of housing communities. The project describes how surveillance practices and technologies are deployed, and it explores the implications for organizations and citizens. The project has its starting point in Science and Technology Studies (STS), in particular the notion of socio-technical practice. Thus, the project supports a developing theoretical interest within Surveillance Studies. The project consists of f ve interrelated subprojects: 1) Closed circuit television (CCTV) in police work 2) DNA in crime investigation 3) Preventing crime in residential areas, with CCTV 4) Mapping as surveillance strategy in marginalised residential areas 5) Concepts, theories and ethics of surveillance. The project is a Danish contribution to the European COST action ISO0807, Living in Surveillance Societies.
IT UNIVERSITY OF COPENHAGEN
FACULTY GROUP_
PROGRAMMING, LOGIC AND SEMANTICS/ SOFTWARE DEVELOPMENT/ TECHNOLOGIES IN PRACTICE
PARTNERS_
ETH ZRICH (SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZRICH)/ DEPT. OF SCIENCE, TECHNOLOGY,AND COMMUNICATION UNIVERSITY OF LUXEMBOURG/ SIEMENS DK/ AION ASSEMBLY VOTING, DK AARHUS KOMMUNE FREDERIKSBERG KOMMUNE (COPENHAGEN KOMMUNE)
TOTAL AMOUNT FUNDING_ DKK 17.251.189 IT UNIVERSITY AMOUNT_ DKK 17.251.189 PROJECT PERIOD_ 07/2011-06/2016
IT UNIVERSITY OF COPENHAGEN
IT UNIVERSITY OF COPENHAGEN
ITU PEOPLE INVOLVED_ GEORGIOS YANNAKAKIS/ ALESSANDRO CANOSSA/ RILLA KHALED/ JULIAN TOGELIUS FACULTY GROUP_ CENTER FOR COMPUTER GAMES RESEARCH TOTAL AMOUNT FUNDING_ DKK 4.000.000 IT UNIVERSITY AMOUNT_ DKK 655.000 PROJECT PERIOD_ 01/2011 - 12/2012
Games for Health aims to test and combine technologies and concepts from computer games and e-learning in treatment methods in the health area. As a unique, innovative step, the project intends to involve user reactions and behaviour as determining factors in game development. This insight in user behavior will be used to optimize and individualize methods for treatment and learning. The fiel of interest of the project is the psychiatric area with a focus on screening, diagnosis and treatment of soldiers with Post Traumatic Stress Disorder (PTSD). The project has potential with respect to a wide array of groups of people at particular risk of developing PSTD and for this reason may prove to be ground-breaking within the field according to Peter Treufeldt, deputy director of Mental Health Services of the Copenhagen regional authority. Through involvement of the newest knowledge about games technology (AI and user behavior), games/play and learning the project partners will develop concrete examples of learning sequences in which the aforementioned technologies are used to optimize processes of screening, diagnosis, treatment and learning. In this process, experience and research results regarding traumatology and behavioral psychology will be used. Center for Computer Games Research at the IT University of Copenhagen is among the worlds leading research centres in regard to affective modelling and creation of dynamic game content. Therefore, the ITU has a prominent role in the project, in which the Center for Computer Games Research will be responsible for coupling biophysical data from the individual player with in-game data on the players behavior within the game itself, so-called gamemetrics. The matching of biophysical data and gamemetrics offers new knowledge of realtime interaction between user and game which may be used to adapt and individualize the game to the profil of the individual player. In this way, the gaming/learning experience may be optimized in a treatment and/or learning process. This has never been attempted before.
IT UNIVERSITY OF COPENHAGEN
FACULTY GROUP_
TECHNOLOGIES IN PRACTICE/ PERVASIVE INTERACTION TECHNOLOGIES LAB (pIT LAB)/ SOFTWARE DEVELOPMENT GROUP
TOTAL AMOUNT FUNDING_ DKK 17.989.718 IT UNIVERSITY AMOUNT_ DKK 13.268.402 PROJECT PERIOD_ 01/2011 - 12/2015
IT UNIVERSITY OF COPENHAGEN
iCareNet -
IN TE LL IG E N T C O N T EX T- AWA R E S Y S T EM S F O R H E A LT H CA RE , W E L L N E SS , A N D A S S I S TE D L IV IN G
GRANT FROM_ EU, FP7-PEOPLE-2010-ITN MARIE-CURIE INITIAL TRAINING NETWORK (ITN)H ITU PEOPLE INVOLVED_ JAKOB BARDRAM/ THOMAS PEDERSON FACULTY GROUP_
THE PERVASIVE INTERACTION TECHNOLOGY LAB (pIT LAB)/ SOFTWARE DEVELOPMENT GROUP/ INNOVATIVE COMMUNICATION GROUP
TOTAL AMOUNT FUNDING_ DKK 54.370.400 IT UNIVERSITY AMOUNT_ DKK 2.471.801 PROJECT PERIOD_ 01/2011 - 12/2014
Context awareness has the potential to revolutionise the way people interact with information technology. Whereas conventional computers merely interpret explicit user input, context-aware systems analyse and automatically respond upon to users' behaviour and the situation he or she is in. This enables electronic systems to assist users in situations in which the use of conventional computers and or mobile devices is out of question. A particularly relevant fiel are is that of Healthcare, Wellness, and Assisted lLiving (HWA) applications, which is at the focus of the proposed network. Research on context awareness has continued to intensify during the last decade due to the availability of cheap sensing technologies and mobile systems. Still, building reliable context-aware systems that can deal with complex real-life situations and environments remains an open research challenge and requires a multi-disciplinary effort. iCareNet will make a decisive contribution towards solutions, leveraged through an interdisciplinary perspective ranging from sensing and sensor integration, to human-computer interaction and social factors involved in the deployment of context-aware applications. Robust and scalable system architectures and design methodologies are the principal objective of all iCareNet efforts. iCareNet unites efforts of an interdisciplinary network of leading European research groups and a strong industrial participation. Researchers will receive comprehensive inter-domain training through a series of network-wide training events on topics including signal processing, behaviour inference techniques, privacy and security, and social aspects. A number of measures including the establishment ERASMUS partnerships, formal recognition of lectures, and the design of long-term joint Ph.D. programs will ensure that the network leads to long-lasting collaborations and benefits for the involved institutions
PARTNERS_
TECHNISCHE UNIVERSITEIT EINDHOVEN/ BISPEBJERG HOSPITAL, COPENHAGEN/ SAP RESEARCH, ZURICH/ EIDGENSSISCHE TECHNISCHE HOCHSCHULE, ZRICH UNIVERSITT PASSAU/ LANCASTER UNIVERSITY/ VALTION TEKNILLINEN TUTKIMUSKESKUS/ IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE/ EDNA PASHER & ASSOCIATES, MANAGEMENT CONSULTANT/ PHILIPS ELECTRONICS NEDERLAND FUTURE-SHAPE GMBH/ NOLDUS INFORMATION TECHNOLOGY BV
IT UNIVERSITY OF COPENHAGEN
INTERACT
GRANT FROM_ EU, FP7, INFRA-20101.1.19 RESEARCH INFRASTRUCTURES FOR POLAR RESEARCH
PARTNERS_
WORLD WILDLIFE FUND CANADA CORPORATION CA/ THE ARTIC INSTITUTE OF NORTH AMERICA CA/ ATHENA RESEARCH AND INNOVATION CENTER IN INFORMATION COMMUNICATION & KNOWLEDGE TECHNOLOGIES GR/ UNIVERSITY OF ALASKA USA/ FACULTY OF GEOGRAPHY OF M.V. LOMONOSOV MOSCOW STATE UNIVERSITY RUS/ YUGRA STATE UNIVERSITY RUS/ LANDBUNADARHASKOLI ISLANDS IS/ KBENHAVNS UNIVERSITET DK/ JARDFEINGI FI/ POLARFORSKNINGSSEKRETARIETET SW/ INSITUTE FOR BIOLOGICAL PROBLEMS OF CRYOLITHOZONE SIBERIAN BRANCH RUSSIAN ACADEMY OF SCIENCES RUS/ UNIVERSITE LAVAL CA/ BARROW ARCTIC SCIENCE CONSORTIUM INC (BASC) USA/ ARCTIC MONITORING AND ASSESSMENT PROGRAMME SECRETARIAT NO/ AARHUS UNIVERSITET DK/ IT UNIVERSITY OF COPENHAGEN DK/ CLU SRL IT/ METSANTUTKIMUSLAITOS FI/ GRONLANDS NATURINSTITUT GR/ NORSK POLARINSTITUTT NO/ NORWEGIAN INSTITUTE FOR AGRICULTURAL AND ENVIRONMENTAL RESEARCH - BIOFORSK NO/ TURUN YLIOPISTO FI/ ALFRED-WEGENER-INSTITUT FUER POLAR- UND MEERESFORSCHUNG DE/ UNIVERSITETET I OSLO NO/ OULUN YLIOPISTO FI/ HELSINGIN YLIOPISTO FI/ STOCKHOLMS UNIVERSITET SW/ UPPSALA UNIVERSITET SW/ LUNDS UNIVERSITET SW/ NATURAL ENVIRONMENT RESEARCH COUNCIL UK/ SVERIGES LANTBRUKSUNIVERSITET SW/
TOTAL AMOUNT FUNDING_ DKK 54.370.400 IT UNIVERSITY AMOUNT_ DKK 2.471.801 PROJECT PERIOD_ 01/2011 - 12/2014
IT UNIVERSITY OF COPENHAGEN
INTERNATIONAL NETWORK PROGRAMME GRANTS 2010
GRANTS FROM: THE DANISH AGENCY FOR SCIENCE, TECHNOLOGY AND INNOVATION
GAZE
INTERACTION FOR PEOPLE
ITU people involved_John Paulin Partners_Tokyo Institute of Technology Total Amount Funding_DKK 204.768 IT University Amount_DKK 204.768 Project Period_03/2010-12/2010 People with the severe disability Amytrof c Lateral Slerosis (ALS) are only able to move their eyes. They have full cognitive functions but cannot communicate or use an oordinary computer. Commercial systems that can be used for gaze interaction with computers are very costly - more than 100.000 DKK apiece. The IT University of Copenhagen has developed a low cost gaze communication system in close collaboration with The Royal School of Library and Information Science, Copenhagen, and Tokyo Institute of Technology. The system is available in Danish, Japanese and English language versions. The purpose of the project is to conduct f eld test of this new free-ware gaze tracking system that can be used with a standard web-camera and with a video projector. Field traiials will be done with both Danish and Japanese ALS patients at home or at hospitals
WITH ALS
GLOBAL SOFTWARE:
COLLABORATIVE
ITU people involved_Pernille Bjrn, Yvonne Dittrich Partners: Indian Institute of Management, Bangalore, India; Indian Institute of Technology, Chennai and Mandi, India; Indian Nippon Telegraph Telephone Corporation (NTT); National Institute of information and Communications Technology (NICT) and Kyoto University, Japan Faculty group_Software Development Group, Technologies in Practice Total Amount Funding_DKK 246.139 IT University Amount_DKK 246.139 Project Period_03/2010-12/2010 Overall purpose of the Network activity was to consolidate the base for the recently established collaboration between the IT University of Copenhagen (ITU) and partners in Japan and India. The project brought together internationally recognized researchers from various disciplines (ethnographic approaches, management, and design of collaborative technologies) with a common, genuine interest in exchanging perspectives and learning from each other while expanding the horizon for new research opportunities within distance video communication systems.
CROSS-CULTURAL
DESIGN OF NEW ICT BASED INTERACTIVE PRODUCTS FOR PHYSICAL REHABILITATION
EXPLORATIONS OF THE
ITU people involved_Tomas Sokoler Partners_Industrial Design Centre, Indian Institute of Technology Bombay. Faculty group_Innovative Communication Total Amount Funding_DKK 229.306 IT University Amount_DKK 229.306 Project Period_05/2010-12/2010 The focus of the project is on the design of new interactive ICT- based products in support of physical rehabilitation activities as experienced by an ever-growing population of elderly people ands professiccional healthcare practitioners across India and Denmark. As the overall question, we will explore how ICT can futher continuity in the rehabilitation process experienced by citizens and rehab professionals continuity is the key to a succesful rehabilitation process.
GLOBAL SOFTWARE:
SOFTWARE DESIGN AND DEVELOPMENT WITH USER PARTICIPATION IN CULTURALLY
ITU people involved_Yvonne Dittrich Partners_The Indian Institute og Technology in Madras. Department of Computer Science & Engineering Faculty group_Software Development Group Total Amount Funding_DKK 84.960 IT University Amount_DKK 84.960 Project Period_05/2010-12/2010 The scope of this project is the development of a joint research effort together with the Indian Institute of Technology Madras (IITM), particularly the IITMs Rural Technology and Business Incubator (RTBI), that which will explores how Participatory Design (PD) methods and especially software engineering methods promoting use-orientation in development need to be appropriated in a culturally different setting. Because the development and usage of software is now globalized, the methods and tools used to design and develop software needs to incorporate this global nature of software.
DIVERSE SETTINGS.
IT UNIVERSITY OF COPENHAGEN
INTERNATIONAL NETWORK PROGRAMME GRANTS 2011
GRANTS FROM: THE DANISH AGENCY FOR SCIENCE, TECHNOLOGY AND INNOVATION
ARCHCLOUDS-
ARCHITECTING FOR
ITU people involved: Muhammad Ali Babar Partners: ICT, Chinese academic of Sciences, Beijing, China, Wesada University of Japan, Federal University of Bahia (UFBA), Brazil Faculty group: Software Development Group Total Amount Funding: DKK 279.936 IT University Amount: DKK 279.936 Project Period: 03/2011-12/2011 Cloud computing is an emerging computing paradigm, which promises to be a major driver of business innovation by exploiting the technological advances of Infrastructure as a Service (IaaA), Platform as a Service (PaaS), and Software as a Service (SaaS). We intend to explore following key questions through a collaborative network: How can Cloud computing impact on architecture of software and, more generally, architectures of systems? What are the key architectural challenges and potential solutions for migrating enterprise systems to Cloud computing? What kinds of methods and tools required for evaluating architectures of cloud computing based systems? What are the appropriate architectures for autonomic monitoring and resource management of Cloud-Aware services?
ITU people involved: Jrgen Staunstrup, Kjell Yngve Pedersen, Mie Nrgaard, Thomas Pederson, Bjarki Valtysson Partners: Central Conservatory of Music (China), University Federal do Rio de Janeiro (Brazil) Faculty group: Innovative Communication Total Amount Funding: DKK 351.144 IT University Amount: DKK 351.144 Project Period: 03/2011-12/2011
The project is an explorative investigation of the aesthetics of global connectivity. The aesthetic approach is a way to explore possibilities in technologically mediated relationships, which then inform the development of consistent models that correlate between participatory experience, the compositional strategies, and the technological design. The off ine/online workshops enable an exploration through developing prototypes and staging events, which involve the total communicational complexity of the integrated platform as the artistic medium.
TECHNOLOGIES
OF DISTRIBUTED SITES THROUGH ARTISTIC PROCESSES.
CROSSCULTURAL GAZE
ITU people involved: Dan Witzner Hansen Partners: University of Sao Paulo (Brazil) Faculty group: Innovative Communication Total Amount Funding: DKK 351.041 IT University Amount: DKK 351.041 Project Period: 03/2011-12/2011 In order for gaze-based devices and application to reach more general populations and domains, we focus on low cost solutions with enhanced usability (i.e., easy calibration, robust to head motion and f exibility), and new context-aware gaze-based interaction paradigms for mobile scenarios. Some of the initial questions that will be investigated are: How can gaze estimation be performed in low cost and mobile scenarios (e.g. on mobile devices or when using a head mounted eye tracker outdoors)? How to improve the accuracy of the eye tracking methods with better usability? In particular, how does socio-cultural differences between future users at the different sites inf uence models for gaze-based context-aware computing? Relevant cross-cultural domains will be selected during the initial workshops and used to guide the joint development of user-centered prototypes.
IT UNIVERSITY OF COPENHAGEN
LEV VEL /
NO AGE
GRANT FROM_ THE DANISH AGENCY FOR SCIENCE, TECHNOLOGY AND INNOVATION, COUNCIL FOR TECHNOLOGY AND INNOVATION, STRATEGIC INNOVATION PLATFORM PARTNERS_
INNOVATION CENTER COPENHAGEN (ICPH)/ ALEXANDRA INSTITUTTET/ KBENHAVNS UNIVERSITET/ AARHUS UNIVERSITET/ DANMARKS TEKNISKE UNIVERSITET/ DANMARKS DESIGNSKOLE/ DELTA TEKNOLOGISK INSTITUT/ MEDICO INNOVATION/ CEO SW/ CERTEC/ LTH SW/ HALMSTAD LIVING LAB SW/ HEALTHY AGEING NETWORK NORTHERN NETHERLANDS NL/ HELSINKI LIVING LAB FI/ INTERACTIVE MEDIA TECHNOLOGY CENTER (USA)/ NATIONAL INSTITUTE ON AGING USA/ TI PHARMA NL/ WAAG SOCIETY NL/ REGION HOVEDSTADEN/ KONCERN REGIONAL UDVIKLING/ KONCERN IT/ VKSTFORUM
ITU PEOPLE INVOLVED_ LONE MALMBORG/ TOMAS SOKOLER/ MIE NRGAARD/ NAVEEN BAGALKOT/ MARIE ERTNER FACULTY GROUP_
INNOVATIVE COMMUNICATION DESIGN/ CULTURE & MOBILE COMMUNICATION
LEV VEL (Live Well) / NoAge aims to make more elderly people self-reliant by supporting their own resources and enhancing their ability to take care of themselves. Cooperations, leading research institutions, regional authorities, municipalities, hospitals and interest organisations alike come together in the LEV VEL / NoAge project to develop innovative solutions in the areas of healthcare, disease prevention, nursing, activation and treatment. lvvl.dk
TOTAL AMOUNT FUNDING_ DKK 25.000.000 IT UNIVERSITY AMOUNT_ DKK 1.500.000 PROJECT PERIOD_ 01/2010 - 12/2014
IT UNIVERSITY OF COPENHAGEN
TOTAL AMOUNT FUNDING_ DKK 5.573.952 IT UNIVERSITY AMOUNT_ DKK 5.573.952 PROJECT PERIOD_ 01/2011 - 12/2014
IT UNIVERSITY OF COPENHAGEN
MICROSOFT RESEARCH PHD SCHOLARSHIP: NEW RELATIONAL REASONING TECHNIQUES
GRANT FROM_ MICROSOFT RESEARCH LIMITED FACULTY GROUP_ PROGRAMMING, LOGIC AND SEMANTICS TOTAL AMOUNT FUNDING_ DKK 750.000 01/2011 - 12/2013 IT UNIVERSITY AMOUNT_ DKK 750.000 PROJECT PERIOD_ ITU PEOPLE INVOLVED_ LARS BIRKEDAL The main aim of this project is to research new relational reasoning techniques for programming languages with features found in modern programming languages, in particular polymorphism and higher-order store (aka general references). To develop correct and reliable software we need good formal reasoning methods for reasoning about programs written in modern programming languages. One of the most fundamental notions in formal reasoning about programs is contextual equivalence, which expresses when one program fragment may be interchanged by another fragment, without changing the overall meaning of a complete program. This is the notion of correctness that one is interested in when, e.g., proving compiler optimizations correct. Moreover, understanding contextual equivalence is, of course, a crucial ingredient in simply understanding the semantics of a programming language, and as such it forms the basis for other reasoning methods.
IT UNIVERSITY OF COPENHAGEN
PARTNERS_
CREATE-NET (COORDINATOR), IT/ AIPERMON, DE/ BITZ, DE/ ETH- ZURICH,CH/ ITU, DK/ MEDITRAINMENT, AT/ PSYCHIATRIC CENTER RIGSHOSPITALET, DK/ PSYCHIATRIC STATE HOSPITAL OF TIROLER LANDESKRANKENANSTALTEN GMBH, AT/ SCUOLA UNIVERSITARIA PROFESSIONALE DELLA SVIZZERA ITALIANA, CH/ SYSTEMA HUMAN INFORMATION SYSTEMS GMBH, AT/ UNIVERSITAT BIELEFELD, DE/ UNIVERSITAT PASSAU, DE
TOTAL AMOUNT FUNDING_ DKK 27.323.150 IT UNIVERSITY AMOUNT_ DKK 2.842.471 PROJECT PERIOD_ 02/2010 - 01/2013
IT UNIVERSITY OF COPENHAGEN
SIREN
TOTAL AMOUNT FUNDING_ DKK 16.758.000 IT UNIVERSITY AMOUNT_ DKK 3.848.313 PROJECT PERIOD_ 09/2010 - 08/2013