Research projects at the IT department

Only some of the research projects at the department can so far be found here. For other projects and groups, see the web pages of the divisions (check the list in the left margin), or the (also partial) group listing.

• Adaptive finite element methods for multi-scale/physics problems
• Algorithms and implementations for multicore and parallel architectures
• Bone - Solution methods for trabecular bone micro-finite element models
• Computational Systems Biology
• CORSA - Constraint mOdelling, Reformulation, Solving, and Analysis
• Dynamic load balancing of parallel SAMR applications
• ETHCOMP - Ethical competence for decision makers and organizations
• Finite element preconditioners for algebraic problems in modelling of multiphase microstructures
• FTTS - Future Train Traffic Control
• GAMES - Games and Automata for Synthesis and Verification
• GEOHPC - Large scale numerical simulations of multiphysics and multiscale problems in Geophysics
• Helios - Software Engineering Environment for medical wards
• High Speed Craft - Human-machine interaction and safety aspects when controlling high speed craft
• How Students Learn to Program
• Ice sheet modeling
• ICTeESD, ICT-enabled Education for Sustainable Development
• Ikaros - Model-based graphical user interfaces
• IVAN - Information system in health care - usability and benefit
• JASS - a Java based Activated Sludge process Simulator
• Model Generation Model Generation and Testing
• MoTReS - Model-based Testing of Reactive Systems
• Numerical finance
• Numerical methods for genetic analysis of complex traits
• Numerical methods for Quantum Dynamics
• Numerical methods for second order hyperbolic systems
• Numerical methods for simulating multiphase flow
• PAFEM - Preconditioners for Adaptive Finite Element Methods
• ParallelMC - Parallel and Distributed Model Checking
• Perfectly Matched absorbing Layers for wave propagation problems
• ProFuN - A Programming Platform for Future Wireless Sensor Networks
• PROFUNDIS - Proofs of Functionality for Mobile Distributed Systems
• QTL Direct - Web portal for parallel QTL analysis
• RBF PDE - Radial basis function approximations for PDE problems
• Satsa Friskt - Work environment problems in future IT-supported work
• Scientific applications on GRID systems
• Scientific Visualization
• TENGO - Tensor Notation for Grid Operators
• TOPSim - Simulator system for train traffic planning and operation
• VASE - A framework for flexible configuration of distributed virtual environments
• VINNSEC - Security for mobile peer-to-peer networks
• VRT - The Virtual Reality Toolkit
• WocIT - Användarcentrerad systemutveckling (in Swedish)