Program Overview

University Program Information

Introduction to the Faculty of Technical Sciences

The Faculty of Technical Sciences is a prominent institution at the University of Novi Sad, offering a wide range of academic programs in various fields of technical sciences.

Academic Departments

The faculty is organized into several departments, including:

• Department of Energetics, Electronics, and Telecommunications
• Department of Mechanical Engineering and Construction Engineering
• Department of Architecture and Urban Planning
• Department of Production Engineering
• Department of Environmental Engineering and Occupational Safety
• Department of General Disciplines in Engineering
• Department of Civil Engineering and Geodesy
• Department of Technical Mechanics
• Department of Computer Science and Automation
• Department of Industrial Engineering and Management
• Department of Transportation
• Department of Energy and Process Engineering
• Department of Graphic Engineering and Design

Study Programs

The faculty offers various study programs at the undergraduate, master's, and doctoral levels, including:

• Energetics, Electronics, and Telecommunications
• Mechanical Engineering
• Architecture and Urban Planning
• Production Engineering
• Environmental Engineering and Occupational Safety
• General Disciplines in Engineering
• Civil Engineering and Geodesy
• Technical Mechanics
• Computer Science and Automation
• Industrial Engineering and Management
• Transportation
• Energy and Process Engineering
• Graphic Engineering and Design

Accreditation

The study programs at the Faculty of Technical Sciences are accredited by relevant authorities, ensuring their quality and relevance to the needs of the industry and society.

Research Areas

The faculty is involved in various research areas, including:

• Energetics and electronics
• Mechanical engineering and construction engineering
• Architecture and urban planning
• Production engineering
• Environmental engineering and occupational safety
• Computer science and automation
• Industrial engineering and management
• Transportation
• Energy and process engineering
• Graphic engineering and design

Course Description: Selected Chapters from Formal Methods of Hardware Design and Verification

Course Information

• Course code: 17.DE100
• Department: Department of Energetics, Electronics, and Telecommunications
• Study program: Doctoral studies in Energetics, Electronics, and Telecommunications
• Credits: 10
• Language: English

Course Objectives

The course aims to introduce students to modern approaches in hardware design and verification based on mathematical formalism.

Course Outcomes

Upon completing the course, students will be able to:

• Follow the latest results in the field
• Understand technical and research literature
• Participate in scientific research in the area

Course Content

The course covers formal methods in hardware design and verification, including:

• Overview of formal methods in hardware design and verification
• Independent study and research in the field of hardware design and verification

Teaching Methods

The course will be taught individually with each student, with the instructor selecting the student's area of interest and choosing literature and topics accordingly.

Assessment

The course assessment includes:

• Theoretical part of the exam (50 points)
• Seminar paper (50 points)

Instructor

Vanredni prof. dr Stania Dautovi, Vanredni profesor