|
I was born in Rosario, Argentina and got my Bachelor's degree
in computer science at FCIEA, UNR
I've been living in Nijmegen since 2007.
Contact Information
- Email: tamalet at cs.ru.nl
- Phone: +31 24 3652672
- Fax: +31 24 365 2298
- Mail: Faculty of Science, University of Nijmegen
Postbus 9010, 6525 AJ, Nijmegen, The Netherlands
- Visiting Address: Heyendaalseweg 135, Nijmegen,
The Netherlands, Room 02.066 (second floor)
Research Interests
- Static analysis of programs, in particular
memory consumption
- Type systems and program logics
- Theorem proving and model checking
Publications
Conferences
-
Alejandro Tamalet and Ken Madlener
Reasoning about Assignments in Recursive Data Structures
To appear in 13th Brazilian Symposium on Formal Methods (SBMF 2010).
The zip file contains the PVS (v4.2) formalisation.
-
Erik Schierboom, Alejandro Tamalet,
Hendrik Tews,
Marko van Eekelen and
Sjaak Smetsers
Preemption Abstraction. A Lightweight Approach to Modelling Concurrency
14th International Workshop on Formal Methods
for Industrial Critical Systems (FMICS 2009).
The zip file contains the PVS (v4.0) formalisation.
-
Olha Shkaravska,
Marko van Eekelen and
Alejandro Tamalet
Collected Size Semantics for Functional Programs
To appear in the proceedings of the 20th International Symposium on
the Implementation and Application of Functional Languages (IFL 2008).
-
Marieke Huisman
and Alejandro Tamalet
A Formal Connection between Security Automata and JML Annotations
Fundamental Approaches to Software Engineering, 12th International
Conference, FASE 2009, Held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2009,
York, UK, March 22-29, 2009 Pages 340-354.
The zip file contains the PVS (v4.2) formalisation
-
Alejandro Tamalet, Olha Shkaravska
and Marko van Eekelen
Size Analysis of Algebraic Data Types
Peter Achten, Pieter Koopman and Marco T. Morazán editors,
Trends in Functional Programming Volume 9 (TFP'08).1
Pages 33-48, Intellect Publishers, 2009.
Technical Reports
Others
-
Alejandro Tamalet
Yet Another Semantics for Proving Class Correctness
Master thesis supervised by professor Javier Blanco, April 2006.
|
