Giuseppe Castagna is affiliated with the Centre national de la recherche scientifique (CNRS) in France. Their research primarily falls under the broad domain of Computer Science, with a particular focus on Artificial Intelligence, Computational Theory and Mathematics, and Software. Additional areas of study include Hardware and Architecture, as well as Computer Networks and Communications.
The core topics addressed in Castagna's work include Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Model-Driven Software Engineering Techniques; Parallel Computing and Optimization Techniques; Advanced Database Systems and Queries; semigroups and automata theory; and Software Engineering Research.
Castagna has a consistent record of publications, especially in the venue Proceedings of the ACM on Programming Languages, where four papers have been published. Other publication venues include arXiv (Cornell University), The Art Science and Engineering of Programming, HAL (Le Centre pour la Communication Scientifique Directe), and Logical Methods in Computer Science.
Frequent coauthors in Castagna's research include Mickaël Laurent, Kim Nguyễn, Guillaume Duboc, Matthew Lutze, and José Valim. Collaborations have resulted in multiple joint publications, particularly with the first two coauthors, each appearing in four joint works.
Giuseppe Castagna was recognized in 2011 as a Member of Academia Europaea. This distinction highlights a level of engagement within the broader scientific community without attributing specific qualitative judgments.
Véronique Benzaken;Giuseppe Castagna;Alain Frisch
Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens
Giuseppe Castagna
Jan Vitek;Giuseppe Castagna
Giuseppe Castagna;Nils Gesbert;Luca Padovani
Michele Bugliesi;Giuseppe Castagna;Silvia Crafa
Alain Frisch;Giuseppe Castagna;Véronique Benzaken
G. Castagna;G. Ghelli;G. Longo
Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Luca Padovani
Giuseppe Castagna;Nils Gesbert;Luca Padovani
Davide Ancona;Viviana Bono;Mario Bravetti;Joana Campos
Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Luca Padovani
G. Castagna;J. Vitek;F. Zappa Nardelli
Giuseppe Castagna;Giorgio Ghelli;Giuseppe Longo
A. Frisch;G. Castagna;V. Benzaken
S. Carpineti;G. Castagna;C. Laneve;L. Padovani
John Boyland;Giuseppe Castagna
Giuseppe Castagna
Michele Bugliesi;Giuseppe Castagna;Silvia Crafa
Giuseppe Castagna;Mariangiola Dezani-Ciancaglini;Elena Giachino;Luca Padovani
Giuseppe Castagna
If you think any of the details on this page are incorrect, let us know.
Exploring a Computer Science degree in the USA often opens doors to a wide range of related fields and online study options. Students interested in technology-driven industries frequently consider multidisciplinary avenues to expand their expertise—and their career opportunities.
For example, those inspired by the intersection of law and technology may be drawn to programs like a criminal justice degree online, which can lead to roles in cybersecurity and digital forensics. If you are interested in finance or business analytics, a cheapest accredited online accounting degree can be an excellent choice for learning data-driven decision-making.
The tech field is growing fast, and advanced qualifications like a data master online can give you specialized skills in data analysis, machine learning, and artificial intelligence—fields that are highly sought after in today’s job market.
Additionally, those with an interest in project leadership can combine technical knowledge with business skills through an online construction management degree, opening pathways into tech-driven construction and infrastructure roles. Each of these pathways provides flexible, affordable, and accredited online study opportunities, helping students tailor their education to their career goals.
University of Amsterdam
INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement
Algo-Logic Systems
Michigan State University
Utrecht University
Grenoble Alpes University
INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement
Geological Survey of Denmark and Greenland
University of Haifa
California State University Los Angeles
National Renewable Energy Laboratory
University of Bordeaux
Centre national de la recherche scientifique, CNRS
Baylor College of Medicine
University of Sydney
Universiti Teknologi Petronas
