Researcher profile

Giuseppe Greco

Giuseppe Greco contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2026arXiv

Probing Cosmic Expansion and Early Universe with Einstein Telescope

Over the next two decades, gravitational-wave (GW) observations are expected to evolve from a discovery-driven endeavour into a precision tool for astrophysics, cosmology, and fundamental physics. Current second-generation ground-based detectors have established the existence of compact-binary mergers and enabled GW multi-messenger astronomy, but they remain limited in sensitivity, redshift reach, frequency coverage, and duty cycle. These limitations prevent them from addressing many fundamental open questions in cosmology. By the 2040s, wide-field electromagnetic surveys will have mapped the luminous Universe with unprecedented depth and accuracy. Nevertheless, key problems including the nature of dark matter, the physical origin of cosmic acceleration, the properties of gravity on cosmological scales, and the physical conditions of the earliest moments after the Big Bang will remain only partially constrained by electromagnetic observations alone. Progress on these fronts requires access to physical processes and epochs that do not emit light. Gravitational waves provide a unique and complementary observational channel: they propagate over cosmological distances largely unaffected by intervening matter, probe extreme astrophysical environments, and respond directly to the geometry of spacetime. In this context, next-generation GW observatories such as the Einstein Telescope (ET) will be transformative for European astronomy. Operating at sensitivities and frequencies beyond existing detectors, ET will observe binary black holes and neutron stars out to previously inaccessible redshifts, enable continuous high signal-to-noise monitoring of compact sources, and detect gravitational-wave backgrounds of astrophysical and cosmological origin. Together with space-based detectors, ET will play a central role in advancing our understanding of cosmic evolution and fundamental physics.

preprint2024arXiv

Generating proof systems for three-valued propositional logics

In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued logics being a particularly simple example), the generation of suitable finite axiomatizations can be completely automatized, essentially by expressing the matrix tables via inference rules. In this chapter we illustrate how two formalisms, the 3-labelled calculi of Baaz, Fermüller and Zach and the multiple-conclusion (or Set-Set) Hilbert-style calculi of Shoesmith and Smiley, may be uniformly employed to axiomatize logics defined by a three-valued logical matrix. The generating procedure common to both formalisms can be described as follows: first (i) convert the matrix semantics into rule form (we refer to this step as the generating subprocedure) and then (ii) simplify the set of rules thus obtained, essentially relying on the defining properties of any Tarskian consequence relation (we refer to this step as the streamlining subprocedure). We illustrate through some examples that, if a minimal expressiveness assumption is met (namely, if the matrix defining the logic is monadic), then it is straightforward to define effective translations guaranteeing the equivalence between the 3-labelled and the Set-Set approach.

preprint2022arXiv

Multi Order Coverage data structure to plan multi-messenger observations

We describe the use of Multi Order Coverage (MOC) maps as a practical way to manage complex regions of the sky for the planning of multi-messenger observations. MOC maps are a data structure that provides a multi-resolution representation of irregularly shaped and fragmentary regions over the sky based on the HEALPix (Hierarchical Equal Area isoLatitude Pixelization) tessellation. We present a new application of MOC, in combination with the \texttt{astroplan} observation planning package, to enable the efficient computation of sky regions and the visibility of these regions from a specific location on the Earth at a particular time. Using the example of the low-latency gravitational-wave alerts, and a simulated observational campaign with three observatories, we show that the use of MOC maps allows a high level of interoperability to support observing schedule plans. Gravitational-wave detections have an associated credible region localization on the sky. We demonstrate that these localizations can be encoded as MOC maps, and how they can be used in visualisation tools, and processed (filtered, combined) and also their utility for access to Virtual Observatory services which can be queried 'by MOC' for data within the region of interest. The ease of generating the MOC maps and the fast access to data means that the whole system can be very efficient, so that any updates on the gravitational-wave sky localization can be quickly taken into account and the corresponding adjustments to observing schedule plans can be rapidly implemented. We provide example python code as a practical example of these methods. In addition, a video demonstration of the entire workflow is available.

preprint2022arXiv

Unified inverse correspondence for DLE-Logics

By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and canonicity across different semantics and signatures, covering all the logics whose algebraic semantics are given by normal (distributive) lattice expansions (referred to as (D)LEs). In particular, the algorithm ALBA, parametric in each (D)LE, effectively computes the first order correspondents of (D)LE-inductive formulas. We present an algorithm that makes use of ALBA's rules and algebraic language to invert its steps in the DLE setting; therefore effectively computing an inductive formula starting from its first order correspondent.

preprint2021arXiv

Syntactic completeness of proper display calculi

A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that can be captured in terms of these calculi. In this context, Wansing introduced the notion of proper display calculi as one possible design framework for proof calculi in which the analiticity desiderata are realized in a particularly transparent way. Recently, the theory of properly displayable logics (i.e. those logics that can be equivalently presented with some proper display calculus) has been developed in connection with generalized Sahlqvist theory (aka unified correspondence). Specifically, properly displayable logics have been syntactically characterized as those axiomatized by analytic inductive axioms, which can be equivalently and algorithmically transformed into analytic structural rules so that the resulting proper display calculi enjoy a set of basic properties: soundness, completeness, conservativity, cut elimination and subformula property. In this context, the proof that the given calculus is complete w.r.t. the original logic is usually carried out syntactically, i.e. by showing that a (cut free) derivation exists of each given axiom of the logic in the basic system to which the analytic structural rules algorithmically generated from the given axiom have been added. However, so far this proof strategy for syntactic completeness has been implemented on a case-by-case base, and not in general. In this paper, we address this gap by proving syntactic completeness for properly displayable logics in any normal (distributive) lattice expansion signature. Specifically, we show that for every analytic inductive axiom a cut free derivation can be effectively generated which has a specific shape, referred to as pre-normal form.

preprint2020arXiv

Processing issues in SiC and GaN power devices technology: the cases of 4H-SiC planar MOSFET and recessed hybrid GaN MISHEMT

This paper aims to give a short overview on some relevant processing issues existing in SiC and GaN power devices technology. The main focus is put on the importance of the channel mobility in transistors, which is one of the keys to reduce RON and power dissipation. Specifically, in the case of the 4H-SiC planar MOSFETs the most common solutions and recent trends to improve the channel mobility are presented. In the case of GaN, the viable routes to achieve normally-off HEMTs operation are briefly introduced, giving emphasis to the case of the recessed hybrid MISHEMT.

preprint2020arXiv

Thermal Annealing Effect on Electrical and Structural Properties of Tungsten Carbide Schottky Contacts on AlGaN/GaN heterostructures

Tungsten carbide (WC) contacts have been investigated as a novel gold-free Schottky metallization for AlGaN/GaN heterostructures. The evolution of the electrical and structural/compositional properties of the WC/AlGaN contact has been monitored as a function of the annealing temperature in the range from 400 to 800°C. The Schottky barrier height ($Φ$B) at WC/AlGaN interface, extracted from the forward current-voltage characteristics of the diode, decreased from 0.8 eV in the as-deposited and 400°C annealed sample, to 0.56 eV after annealing at 800 °C. This large reduction of $Φ$B was accompanied by a corresponding increase of the reverse bias leakage current. Transmission electron microscopy coupled to electron energy loss spectroscopy analyses revealed the presence of oxygen (O) uniformly distributed in the WC layer, both in the as-deposited and 400°C annealed sample. Conversely, oxygen accumulation in a 2-3 nm thin W-O-C layer at the interface with AlGaN was observed after the annealing at 800 °C, as well as the formation of W2C grains within the film (confirmed by X-ray diffraction analyses). The formation of this interfacial W-O-C layer is plausibly the main origin of the decreased $Φ$B and the increased leakage current in the 800°C annealed Schottky diode, whereas the decreased O content inside the WC film can explain the reduced resistivity of the metal layer. The results provide an assessment of the processing conditions for the application of WC as Schottky contact for AlGaN/GaN heterostructures.