**Marcelo Arroyo** [Versión en español](website-es.md.html) About me ============================================================== I'm Professor at [Computer science department - FCEFQyN at Río Cuarto National University](https://dc.exa.unrc.edu.ar/) in Argentina. Also I have a position as Professor at [Engineering Faculty at La Pampa National University (UNLPam)](https://www.ing.unlpam.edu.ar/). Courses ============================================================== From some years ago I'm at charge of the following courses for the *Computer science bachellor's degree* at [UNRC](https://www.unrc.edu.ar/). - ***Operating Systems*** - ***Telecommunications and Distributed Systems*** I teach the following courses at UNLPam: - ***Network Security*** - ***Operating Systems for Embedded Systems*** Research ============================================================== My main research areas of interest are: - Programming languages (type systems, compilers, ...) - Program static analysis, mainly for finding security bugs - and others... I'm member of [Formal Methods and Software Engineering (MFIS)](https://mfis.dc.exa.unrc.edu.ar/) research group at UNRC, where you will find more information about full staff members, research projects, papers and tools.