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
    • Organization
    • Facts and Figures
    • Visiting Trento
    • How to reach us
  • People
  • Research
    • Research Programs
  • Education
    • Degrees
    • Education Services
    • Student support
    • International Mobility
    • Organizational Chart
  • 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 Electronics and Computing 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
  • Wireless Technology and Systems
 
  • Research Programs
    • Cyber Security
    • Data Intelligence
    • Deep and Structured Machine Learning
    • Embedded Electronics and Computing 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
    • Wireless Technology and Systems
  • Condividi questa pagina
  • Printer-friendly version
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)