English Version

Marius Minea

face Conferențiar dr. ing.
Departamentul Calculatoare
Universitatea Politehnica Timișoara
Bd. V. Pârvan nr. 2, birou B531
RO-300223 Timișoara, ROMANIA
Tel/fax: +40-256-403284 / 403214
E-mail: marius@cs.upt.ro

Schiță biografică

Cursuri

nou Code: analysis, bugs, and security (curs facultativ, cu sprijinul Bitdefender)
Logică și structuri discrete curs anul I, sem. I 2016/2017
Programarea calculatoarelor (lb. engleză), curs anul I, sem. I 2016/2017
Proiectarea și analiza limbajelor de programare (lb. engleză), master (an 1), sem. I 2016/2017
Securitatea sistemelor de calcul (lb. engleză), an IV, sem. I 2016/2017
Verificare și validare software (lb. engleă), an IV + III Info, sem. I 2016/2017

Cursuri anterioare
Fundamente de informatică (curs facultativ, anul I)
Limbaje de programare, an I ETC seria B, sem. I 2012/2013
Programarea calculatoarelor, an I ETC seria A, sem. I 2009/2010
Programarea calculatoarelor 2, an II C, sem. I 2005/2006
Utilizarea și programarea calculatoarelor, an I ETC seria A, sem. I 2004/2005
Verificare formala (lb. engleza), an VI (master) sem. I 2008/2009
Verificare formală, an VI, sem. I 2005/06)
Programare (facultativa)
Analiza programelor (curs facultativ, 2004)

Domenii de cercetare

Metode algoritmice de verificare formală
Analiză, verificare și testare software
Verificarea protocoalelor de securitate
Modelarea, analiza și verificarea sistemelor timp-real și integrate

Publicații

Proiecte de cercetare

SPaCIoS: Secure Provision and Consumption in the Internet of Services (proiect PC7, 2011-2013)
Rich-Model Toolkit, acțiune COST IC0901 (2009-2013)
AVANTSSAR: Automated Validation of Trust and Security of Service-oriented Architectures (proiect PC7, 2008-2010)
Formal Verification of Object-Oriented Software, acțiune COST IC0701 (2008-2012)
Rich-Model Toolkit, COST Action IC0901 (2009-2013)
CONQUERS: Continuous Quality Evaluaton and Restructuring of Software (proiect PNCDI-2, 2007-2010)
Practical Formal Verification Using Automated Reasoning and Model Checking (proiect INTAS, 2006-2009)
ARTIST2/ARTIST Design (rețea de excelență PC6/PC7)

Conferințe

SEC@SAC 2017: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2016: 12th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SEC@SAC 2016: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2015: 12th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
LPAR 2015 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (membru PC)
SEC@SAC 2015: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2014: 11th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SCAM 2014: 14th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
ICTAC 2014: 11th International Colloquium on Theoretical Aspects of Computing (membru PC)
PAS 2013: Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation (vorbitor invitat)
SEC@SAC 2014: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2013: 10th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SCAM 2013: 13th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
SEC@SAC 2013: The Security Track at the ACM Symposium on Applied Computing (membru PC)
SEFM 2012: 10th International Conference on Software Engineering and Formal Methods (membru PC)
SCAM 2012: 12th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
CRiSIS 2011: 6th International Conference on Risks and Security of Internet and Systems (director general)
SCAM 2011: 11th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
ICSM 2010ICSM 2010: 26th IEEE International Conference on Software Maintenance (organizare locală)
ICTAC 2010: 7th International Colloquium on Theoretical Aspects of Computing (membru PC)
FM 2009: 16th International Symposium on Formal Methods (membru PC)
SAVCBS 2008: 7th International Workshop on Specification and Verification of Component-Based Systems (membru PC)
FACS 2008: 5th International Workshop on Formal Aspects of Component Software (membru PC)
FM 2008: 16th International Symposium on Formal Methods (membru PC)
ICS 2006: Workshop on Information and Computer Security (co-președinte PC)
CSL 2006: 15th Annual Conference on Computer Science Logic (PC member)
VISSAS 2005: NATO Advanced Research Workshop on Verification of Infinite State Systems with Applications to Security (membru PC, organizare locală)

Resurse despre studii în străinătate

Subiecte de proiecte pentru studenți


Marius Minea
Last modified: Tue Sep 27 8:10:00 EEST 2016