Research Areas

• 
  Computational biology

  The science of using biological data to develop algorithms and models in order to better understand biological systems and their relationships.

  • BioLabs
  • Neurodevelopment and Neurophysiology Group
  • Bioinformatics Group
• 
  Mathematics and physics

  The application of methods and algorithms derived from mathematics and physics to other areas of science and technology.

  • HoTT and Dependent Types Group
  • Cryptographic Lab
  • Nuclear Physics Methods Laboratory
• 
  Robotics, STEM

  A collection of scientific disciplines aimed at the development of new research technologies and robotics.

  • Mobile Robot Algorithms Laboratory
  • Learning Research Lab
• 
  Programming Languages and Software Engineering

  Fundamental research into new programming languages and software development tools.

  • Programming Languages and Tools Lab
  • Verification or Program Analysis Lab
  • Machine Learning Methods in Software Engineering
  • Concurrent Computing Lab
  • Cyber-Physical Systems Lab
• 
  Data Science and Machine Learning

  The use of statistical methods and deep learning to design novel approaches to analyzing data patterns, extracting knowledge, and creating solutions for research and industry.

  • Machine Learning Applications and Deep Learning
  • Agent Systems and Reinforcement Learning
  • Paper-analyzer Group
• 
  Theoretical Computer Science

  Research focused on more abstract or mathematical aspects of computing, including the theory of algorithms.

  • Optimization Problems in Software Engineering
  • Parameterized Algorithms Laboratory