Гурток Інтернету Речей (IoT) на ПЗ

На кафедрі програмного забезпечення діє гурток Інтернету Речей (IoT), в якому студенти мають змогу пройти серію навчальних курсів - "Спеціалізація з основ Інтернету Речей (ІоТ)" - An Introduction to Programming the Internet of Things (IOT) Specialization від Каліфорнійського Університету в Ірвайн, США.
Перші студенти вже отримали свої сертифікати! читати більше

Програмування вбудованих систем

На кафедрі ПЗ для студентів організовано
гурток з програмування вбудованих систем
– команда працівників і студентів кафедри ділиться власним досвідом, здобутим у процесі роботи над реальними проектами спільно з італійською компанією Dinamica Generale S.p.A, що спеціалізується на інноваційних рішеннях для агропромисловості.
більше про гурток

Співпраця із компанією Sigma Software

«Львівська політехніка» та компанія «Sigma Software» уклали договір про співробітництво щодо навчання, проходження практики, стажування та забезпечення подальшої співпраці із випускниками за напрямом підготовки «Програмна інженерія».

Virtual Innovation Space

Do you want to be successful in IT and realize own ideas?
Connect to Virtual Innovation Space
Check your innovative idea in IT and win good prize!

Join today!

Докторантура і аспірантура

На кафедрі проводиться підготовка фахівців вищої кваліфікації через докторантуру та аспірантуру за спеціальністями:

121 - інженерія програмного забезпечення

Керівництво аспірантами здійснюють:

Базилевич Роман Петрович

доктор технічних наук, професор,
професор кафедри програмного забезпечення
rbaz@lp.edu.ua

Журавчак Любов Михайлівна

доктор технічних наук, професор,
професор кафедри програмного забезпечення

Мельник Роман Андрійович

доктор технічних наук, професор,
професор кафедри програмного забезпечення
ramelnyk@lp.edu.ua

Федасюк Дмитро Васильович

доктор технічних наук, професор,
завідувач кафедри програмного забезпечення
dmytro.v.fedasyuk@lpnu.ua

Яковина Віталій Степанович

доктор технічних наук, професор,

yakovyna@lp.edu.ua

Грицюк Юрій Іванович

доктор технічних наук, професор,

ikni_pz@lp.edu.ua

Докторські дисертації, захищені докторантами кафедри програмного забезпечення:

Рік захисту	Прізвище, ім'я, по-батькові	Тема	Науковий консультант
2016	Яковина В.С.	Методи та засоби аналізу надійності функціонування програмного забезпечення з урахуванням етапів життєвого циклу	Федасюк Д.В.
2013	Гавриш В.І.	Математичні моделі процесу теплопровідності для кусково-однорідних структур із урахуванням термочутливості	Федасюк Д.В.
2001	Мельник Р.А.	Методи та алгоритми ієрархічного проектування площинної та просторової топології НВІС	Базилевич Р.П.

Кандидатські дисертації, захищені аспірантами кафедри програмного забезпечення:

Рік захисту	Прізвище, ім'я, по-батькові	Тема	Науковий керівник
2019	Чопей Р.С.	Засоби автоматизованого тестування спеціалізованого програмного забезпечення вбудованих систем	Федасюк Д.В.
2018	Волочій С.Б.	Математичне та програмне забезпечення для дискретно-неперервного стохастичного моделювання відмовостійких програмно-технічних комплексів	Федасюк Д.В.
2015	Нитребич О.О.	Моделі та методи оцінювання надійності програмного забезпечення з урахуванням його архітектури	Федасюк Д.В.
2012	Муха Т.О.	Прикладні програмні засоби моделювання процесу тепловідведення кипінням і випаровуванням в електронних пристроях	Федасюк Д.В.
2011	Кутельмах Р.К.	Математичне та програмне забезпечення для розв'язування задачі комівояжера великих розмірностей	Базилевич Р.П.
2011	Сенів М.М.	Засоби прогнозування надійності програмного проекту із врахуванням показника його складності	Федасюк Д.В.
2010	Семчишин Ю.Б.	Методи та засоби розподілення обчислень в задачах теплового проектування електронних пристроїв	Федасюк Д.В.
2010	Тушницький Р.Б.	Математичне та програмне забезпечення ієрархічної декомпозиції, індексування, класифікації та аналізу візуальних образів	Мельник Р.А.
2008	Щерб'юк І.Ф.	Алгоритмічне та програмне забезпечення для розміщення різногабаритних елементів електронних пристроїв комбінованими методами ієрархічної оптимізації	Базилевич Р.П.
2007	Сердюк П.В.	Математичне та програмне забезпечення теплового проектування резисторних надпровідникових обмежувачів струму для захисту мікроелектронних пристроїв	Федасюк Д.В.
2003	Коротєєва Т.О.	Моделі та алгоритми ієрархічного трасування НВІС з декомпозицією дво- і тривимірного конструктивного простору	Мельник Р.А.
1997	Телюк Т.М.	Математичні та програмні засоби для розміщення елементів методом сканувальної області	Базилевич Р.П.