Research Areas

• Programming Languages and Systems
  
  
  • Teaching programming as a unified discipline
  • Dynamic graphical user interfaces
  • Programming language expressiveness
  • Abstract Interpretation
  • Programming Langages Interoperability
  
  
• Software Engineering
  
  
  • Goal-Oriented Requirements Engineering
  • Software Architecture
  • Engineering open, web-based systems
  • Intensional Views
  • Aspect mining and refactoring
  • Software Reverse Engineering and Restructuring
  • Software Verification
  • Teaching Formal Methods
  • Software desing Methods
  
  
• Distributed Systems
  
  
  • Programming Abstractions for Mobile Systems
  • Internet Traffic Engineering
  • Routing Protocols
  • Internet Traffic Characterization
  • Highly-available collaborative Internet applications
  • Extruded Subnets
  • Platform for distributed real-time systems
  • Session layers for distributed systems
  
  
• Security
  
  
  • Intrusion Detection
  • Engineering Security-Critical Systems
  • Language-based security
  
  
• Artificial Intelligence
  
  
  • Machine Learning
  • Constraint Programming
  • Bio-informatics
  • Computational Linguistics
  
  
• Information Theory
  
  
  • Error-correcting codes
  
  
• E-learning Systems
  
  
  • E-learning Methods and Tools
  • Distance learning methods for university ICT courses