Marius Minea
I'm a Senior Lecturer in Computer Science at UMass Amherst starting September 2018.
Here is my old page at the Politehnica University of Timișoara, Romania
Contact
University of Massachusetts
Manning College of Information and Computer Sciences
140 Governors Drive
Amherst, MA 01003-4610
Office: LGRC A261
Phone: 413-545-1734
Teaching
- COMPSCI 311 Introduction to Algorithms, Spring 2025
- COMPSCI 220 Programming Methodology, Fall 2024
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Fall 2024
- COMPSCI 311 Introduction to Algorithms, Spring 2024
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Spring 2024
- COMPSCI 220 Programming Methodology, Fall 2023
- COMPSCI 513/613 Logic in Computer Science, Fall 2023
- COMPSCI 220 Programming Methodology, Spring 2023
- COMPSCI 311 Introduction to Algorithms, Spring 2023
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Spring 2023
- COMPSCI 220 Programming Methodology, Fall 2022, co-taught with Jaime Dávila
- COMPSCI 575 Combinatorics and Graph Theory, Fall 2022
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Fall 2022
- COMPSCI 220 Programming Methodology, Spring 2022, co-taught with Jaime Dávila
- COMPSCI 311 Introduction to Algorithms, Spring 2022, co-taught with Md. Abdul Aowal
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Spring 2022
- COMPSCI 220 Programming Methodology, Fall 2021, co-taught with Emily Pruc
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Fall 2021
- COMPSCI 220 Programming Methodology, Spring 2021, co-taught with Joe Chiu
- COMPSCI 311 Introduction to Algorithms, Spring 2021, co-taught with Hung Le
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Spring 2021
- COMPSCI 220 Programming Methodology, Fall 2020, co-taught with Jaime Dávila
- COMPSCI 250 Introduction to
Computer Science, Fall 2020, co-taught with Ghazaleh Parvini
- COMPSCI H250 Honors Colloquium: Introduction to Computation, Fall 2020
- COMPSCI 220 Programming Methodology, Spring 2020, co-taught with Jaime Dávila
- COMPSCI 311 Introduction to Algorithms, Spring 2020, co-taught with David Mix Barrington
- COMPSCI H311 Honors Colloquium: Introduction to Algorithms, Spring 2020
- COMPSCI 250 Introduction to Computation, Fall 2019
- COMPSCI 311 Introduction to Algorithms, Fall 2019, co-taught with David Mix Barrington
- COMPSCI H250 Honors Colloquium: Introduction to Computation, Fall 2020
- COMPSCI 250 Introduction to Computation, Spring 2019, co-taught with Swarna Reddy
- COMPSCI 311 Introduction to
Algorithms, Spring 2019, section 2; (Section
1 taught by Dan Sheldon)
- COMPSCI 501 Formal Language Theory, Spring 2019
- COMPSCI
250 Introduction to Computation, Fall 2018, co-taught with David Mix Barrington
- COMPSCI 311 Introduction to Algorithms, Fall 2018
Research
My research is at the intersection of formal verification (in particular, model checking), security, and software engineering.
I am interested in formal techniques to analyze the correctness and security of software systems, and in detection of errors and vulnerabilities using techniques like symbolic execution and fuzzing.
Past research projects
SPaCIoS: Secure Provision and Consumption in the Internet of Services (EU FP7 project, 2011-2013)
Rich-Model Toolkit, COST Action IC0901 (2009-2013)
AVANTSSAR: Automated Validation of Trust and Security of Service-oriented Architectures (EU FP7 project, 2008-2010)
Formal Verification of Object-Oriented Software, COST Action IC0701 (2008-2012)
CONQUERS: Continuous Quality Evaluaton and Restructuring of Software (Romanian national research grant, 2007-2010)
Practical Formal Verification Using Automated Reasoning and Model Checking (INTAS project, 2006-2009)
ARTIST2/ARTIST Design FP6/FP7 Network of Excellence on Embedded Systems Design
Marius Minea
Last modified: Tue Nov 12 22:09:23 EST 2024