Skip to main content
  • People
  • Esse3
  • Webmail
  • Sitemap
  • Pin
  • Know
    • Organization
    • International mobility
    • Education
    • ICT Doctoral School
    • IID Doctoral School
    • Research
  • Live
    • Library
    • Languace Centre
    • Test Centre
    • Student's office
    • Opera universitaria
    • Online services
    • Services A-Z
    • Sport
  • Discover
    • Guidance
    • Job Guidance
    • Technology transfer
    • Work with us
    • Calendar
    • How to reach us
Logo Unitn
Quick links
  • Italiano
MyUnitn
  • Italiano
MyUnitn
Quick links
DEPARTMENT OF
INFORMATION ENGINEERING AND COMPUTER SCIENCE
  • About
    • The Department
    • Department of Excellence
    • Organization
    • Advisory Board
    • Facts and Figures
    • Visiting Trento
    • How to reach us
  • People
  • Research
    • Research Programs
    • Department of Excellence
    • Seminar series
  • Education
    • Degrees
    • Department of Excellence
    • Educational Laboratories
    • Education Services
    • Student support
    • International Mobility
    • Organizational Chart
    • Advisory Board
  • Quality
  • Career & Job Center
    • Employment Opportunities at DISI
    • Employers
    • Opportunities for Students
  • Resources
    • DISI Services
    • UniTrento rooms
    • Library
    • Emergencies

Menù

  • Cyber Security
  • Data Intelligence
  • Deep and Structured Machine Learning
  • Embedded Intelligence and Robotics Systems
  • Language, Speech and Interaction
  • LION - machine Learning and Intelligent OptimizatioN
  • Multimedia Signal Processing and Understanding
  • Next Generation Networks
  • Quantum Information and Computing
  • Remote and Distributed Sensing
  • Signal Processing and Recognition
  • Social Informatics
  • Software Engineering and Formal methods
  • Systems and Networks
 
  • Research Programs
    • Cyber Security
    • Data Intelligence
    • Deep and Structured Machine Learning
    • Embedded Intelligence and Robotics Systems
    • Language, Speech and Interaction
    • LION - machine Learning and Intelligent OptimizatioN
    • Multimedia Signal Processing and Understanding
    • Next Generation Networks
    • Quantum Information and Computing
    • Remote and Distributed Sensing
    • Signal Processing and Recognition
    • Social Informatics
    • Software Engineering and Formal methods
    • Systems and Networks
  • Department of Excellence
  • Seminar series
  • Condividi questa pagina
  • Facebook
  • Google Plus
  • LinkedIn
  • Twitter
  • Mail
  • Whatsapp
Home | Research | Research Programs

Software Engineering and Formal methods


 

Research topics

Our goal is to develop languages, methods, techniques and tools to support the design and deployment of trustworthy and effective software systems.

Faculty members

Paolo Giorgini 
Roberto Sebastiani (coordinator)