Curriculum Vitae di Francesco Finazzi Affiliazione Università degli Studi di Bergamo Dipartimento di Scienze Aziendali, Economiche e Metodi Quantitativi Via dei Caniana, 2 - 24127 Bergamo e: [email protected] w: www.unibg.it/pers/?francesco.finazzi 1. Posizione attuale Mag. 2013 – Oggi Ricercatore – RTD A presso il Dipartimento di Scienze Aziendali, Economiche e Metodi Quantitativi. 2. Posizioni passate Nov. 2011 – Apr. 2013 Assegnista di ricerca presso il Dipartimento di Ingegneria dell’Università degli Studi di Bergamo. Titolo progetto di ricerca: modelli statistici per il monitoraggio satellitare della qualità dell’aria. Feb. 2010 - Ott. 2011 Assegnista di ricerca presso il Dipartimento di Ingegneria dell’Informazione e Metodi Matematici dell’Università degli Studi di Bergamo. Titolo progetto di ricerca: modelli di coregionalizzazione dinamica per il monitoraggio remoto. Feb. 2009 - Gen. 2010 Assegnista di ricerca presso il Dipartimento di Ingegneria dell’Informazione e Metodi Matematici dell’Università degli Studi di Bergamo. Titolo progetto di ricerca: modelli statistici per la mappatura dinamica delle polveri aerodisperse con l'uso di dati satellitari. 3. Formazione Nov. 2005 - Ott. 2009 Dottorato di ricerca in Statistica Metodologica e Applicata presso l'Università degli Studi di Milano-Bicocca, Dipartimento di Metodi Quantitativi per le Scienze Economiche e Aziendali. Titolo tesi di dottorato: modelli statistici per l'analisi di immagini digitali e l'estrazione di forme geometriche. Descrizione tesi: il progetto di tesi ha riguardato l'analisi e l'estensione dei più attuali metodi statistici di modellazione e stima applicati all'analisi di immagini digitali, con particolare riferimento al problema dell’estrazione di forme geometriche caratterizzanti il contorno di oggetti in esse rappresentati. Tra i metodi di modellazione si citano: Markov Random Fields, Conditional Random 1/10 Fields e Deformable Contour Models; tra i metodi di stima: Monte Carlo Markov Chain (MCMC), simulated annealing, reversible jump MCMC ed expectation maximization (EM). Set. 2003 - Set. 2005 Laurea specialistica in Ingegneria Informatica curriculum Informatica Industriale presso l'Università degli Studi di Bergamo. Titolo tesi di laurea: definizione di un modello statistico e di una metodologia sperimentale per la stima dell'incertezza nella localizzazione di oggetti tramite sistemi di visione artificiale. Descrizione tesi: utilizzo delle tecniche statistiche design of experiment e sensitivity analysis per la definizione di modelli statistici empirici atti a descrivere l’incertezza nella localizzazione spaziale di un oggetto rappresentato in un'immagine digitale in funzione di fattori ambientali, fattori caratterizzanti l'oggetto e fattori legati al sistema visivo. Votazione: 108/110 Set. 2000 - Gen. 2004 Laurea di primo livello in Ingegneria Informatica curriculum Informatica Industriale presso l'Università degli Studi di Bergamo. Titolo tesi di laurea: sintesi statistiche nell'analisi delle immagini. Argomento tesi: stima della posizione ed orientazioni di oggetti in sistemi a 4 gradi di libertà tramite telecamera montata su robot manipolatore. Sviluppo di una teoria sull’incertezza nella stima della posizione ed orientazione. Analisi di immagini digitali tramite Markov Random Fields e funzioni dei momenti calcolate sulla distribuzione spaziale dei pixel dell’immagine. Votazione: 107/110 con encomio 4. Attività di ricerca 4.1 Partecipazione a progetti di ricerca 2013 - 2015 Progetto FIRB 2012 "Statistical modeling of environmental phenomena: pollution, meteorology, health and their interactions" (codice RBFR12URQJ) - Coordinatore nazionale: F. Bruno (Università di Bologna) 2011 - 2012 Progetto LISA "GPU techniques for the Advanced Spatio-Temporal Statistical Modelling (GPU4MASST)" in collaborazione con CILEA (Consorzio Interuniversitario Lombardo per L'Elaborazione Automatica) http://lisa.cilea.it/ - Coordinatore: M. Cameletti (Università di Bergamo) 2010 - 2012 Progetto quadro Regione Lombardia EN17 "Methods for the integration of renewable energy sources and the satellite monitoring of the environmental impact". Coordinatore: A. Fassò (Università di Bergamo) 2/10 4.2 Periodi di visiting Nov. - Dec. 2013 University of Glasgow. School of Mathematics and Statistics. Supervisor Prof. Marian Scott. Progetto: analysis of temporal coherence of sea surface temperature at global scale. Set. - Ott. 2012 University of Glasgow. School of Mathematics and Statistics. Supervisor Prof. Marian Scott. Progetto: statespace models for the analysis of the coherence of time series. Apr. - Mag. 2011 University of Glasgow. School of Mathematics and Statistics. Supervisor Prof. Marian Scott. Progetto: latent global air quality indicators for Scotland. Gen. - Mar. 2011 University of Glasgow. Department of Statistics. Supervisor Prof. Marian Scott. Progetto: multi-pollutant population exposure and risk evaluation with measures of uncertainty. 4.3 Collaborazioni con università estere Gen. 2011 - Oggi Research Affiliate presso la School of Mathematics and Statistics - University of Glasgow. 4.4 Pubblicazioni su riviste e libri [1] Finazzi F (2014) A comparison between the geostatistical potential model and the discrete choice logit models in the estimation of spatial market potentials. Italian Journal of Applied Statistics. Accepted. [2] Fassò A, Finazzi F (2013) A varying coefficients space-time model for ground and satellite air quality data over Europe. Statistica & Applicazioni. Special Issue 2013: 45-56. [3] Finazzi F, Scott, M, Fassò A (2013) A model based framework for air quality indices and population risk evaluation. With an application to the analysis of Scottish air quality data. Journal of the Royal Statistical Society - Series C; 62: 287–308 [4] Cameletti M, Finazzi F (2013) A GPU software library for likelihood-based inference of environmental models with large datasets. In Grigoletto M et al. (Ed's 2013) Complex models and computational methods in statistics. Springer book - ISBN 978-88-470-2870-8 [5] Finazzi F (2012) Geostatistical modeling in the presence of interaction between the measuring instruments, with an application to the estimation of market potentials. Annals of Applied Statistics DOI: 10.1214/12-AOAS588 [6] Finazzi F (2012) A Bayesian approach to vectorization of object boundaries from digital images. Applied Stochastic Models in Business and Industry; 28: 448-466. ISSN 1526-4025 [7] Fassò A, Finazzi F (2011) Maximum likelihood estimation of the dynamic coregionalization model with heterotopic data. Environmetrics; 22: 735:748. ISSN 1099-095X [8] Fassò A, Finazzi F (2010) Bayesian source detection and parameter estimation of a plume model based on sensor network measurements by C. Huang et al.: Discussion 1, Applied Stochastic Models in Business and Industry 2010; 26: 349–352. ISSN 1526-4025 3/10 4.5 Pubblicazioni in atti di convegno [9] Finazzi F, Miller C, Scott M.E (2013) A model-based clustering approach for the analysis of environmental time series. In Muggeo V.M.R. et al. (Ed’s 2013), Proceedings of the 28th International Workshop on Statistical Modelling, Vol. 1, 145-150, ISBN 978-88-96251-47-8 [10]Finazzi F, Scott M.E, Miller C (2013) The estimation of latent temporal patterns in multivariate geolocated time series. In Brentari E., Carpita M. (Ed’s 2013), Advances in Latent Variables. Vita e Pensiero editor, Milan, Italy, ISBN 978 -88-343-2556-8 [11]Miller C, Scott M.E, Finazzi F, Haggarty R (2013) Coherency in space of lake and river temperature and water quality records. In Brentari E., Carpita M. (Ed’s 2013), Advances in Latent Variables. Vita e Pensiero editor, Milan, Italy, ISBN 978 -88-343-2556-8 [12]Finazzi F, Fassò A (2012) D-STEM - A statistical software for multivariate space-time environmental data modeling. In Goncalves A.M. et al. (Ed's 2012), Proceedings of the International Workshop on SpatioTemporal Modelling (METMA VI). Guimaraes, 12-14 September 2012. ISBN 978-989-97939-0-3 [13]Fassò A, Finazzi F (2012) Spatio temporal models for dynamic mapping of exposure to air borne pollution and assessment of environmental policies. In Goncalves A.M. et al. (Ed's 2012), Proceedings of the International Workshop on Spatio-Temporal Modelling (METMA VI). Guimaraes, 12-14 September 2012. ISBN 978-989-97939-0-3 [14]Finazzi F (2012) A statistical model for spatial point aggregated data. The geostatistical potential model. In Komarek A et al. (Ed's 2012), Proceedings of the 27th International Workshop on Statistical Modelling. Prague, 16-20 July 2012. Tribun EU editor. ISBN 978-80-263-0250-6 [15]Finazzi F, Cameletti M (2011) GPU algorithms for the estimation of environmental models based on large datasets. Proceedings of the 7th SCo Conference. Padova, 19-21 September 2011. CLEUP Editrice. ISBN 978-88-6129-753-1 [16]Finazzi F, Fassò A and Scott M.E (2011) The dynamic coregionalization model in air quality risk assessment. Proceedings of International Statistical Institute World Statistics Congress. Dublin, 21-26 August, 2011 [17]Finazzi F, Scott M.E and Fassò A (2011) A multivariate space-time model for heterogeneous air quality networks. In Conesa D et al. (Ed's 2011), Proceedings of the 26th International Workshop on Statistical Modelling, Valencia 11-15 July 2011. ISBN 978-84-694-5129-8 [18]Finazzi F, Fassò A (2011) EM estimation of the Dynamic Coregionalization Model with varying coefficients. In Cafarelli B (Ed's 2011) Spatial Data Methods for Environmental and Ecological Processes - 2nd Edition, Foggia, Sept. 1-2, 2011. ISBN 978-88-96025-1-2 [19]Fassò A, Finazzi F and Bevilacqua M (2011) Tapering spatio temporal models. In Cafarelli B (Ed's 2011) Spatial Data Methods for Environmental and Ecological Processes - 2nd Edition, Foggia, Sept. 1-2, 2011. ISBN 978-88-96025-1-2 [20]Finazzi F, Fassò A (2011) Spatio-temporal modeling and remote sensing for a common European air quality assessment method. In De Zorzi S (Ed's 2011), Proceedings of From Space to Earth conference. Venice, March 21-23th 2011. ISBN 978-88-8940-151-9 4/10 [21]Fassò A, Finazzi F (2010) Statistical mapping of air quality by remote sensing. Uncertainty and sensitivity to missing data. In Tate N et al. (Ed's 2010), Proceedings of the Accuracy2010 conference. Leicester, 2023 July 2010, pp 277-280 [22]Fassò A, Finazzi F (2010) The dynamic coregionalization model with application to air quality remote sensing. In Bowman A (Ed's 2010). Proceedings of International Workshop on Statistical Modelling 2010. Glasgow, July 5-9th 2010, pp 195-200 [23]Fassò A, Finazzi F (2010) Air quality mapping using the dynamic coregionalization model. Proceedings of 45th Scientific Meeting of the Italian Statistical Society. Padua, June 16-18th, 2010. ISBN 978-88-6129566-7 [24]Fassò A, Finazzi F, Pezzetti G., Lamperti R (2009) Statistical monitoring of high speed railways. Proceedings di Geoitalia 2009, Rimini 3-11 settembre 2009. Epitome, 3/2009. ISSN 1972-1552 4.6 Working paper [25]Finazzi F, Fassò A (2013) EM estimation of a multivariate space-time data fusion model with varying coefficients. Working papers GRASPA, 47. http://hdl.handle.net/10446/27548 [26]Finazzi F (2011) Geostatistical modelling of spatial potentials. Quaderni del Dipartimento di Ingegneria dell'informazione e metodi matematici. Serie "Matematica e Statistica" WP n.9/MS - 2011 http://hdl.handle.net/10446/25213 [27]Fassò A, Finazzi F, D'Ariano C (2009) Integrating satellite and ground level data for air quality monitoring and dynamical mapping. Working papers GRASPA, 34 - http://hdl.handle.net/10446/954. ISSN 20377738 [28]Finazzi F, Fassò A, Brugali D (2008) Empirical modeling of uncertainty in vision systems for industrial robotic applications. Quaderni del Dipartimento di Ingegneria dell'informazione e metodi matematici. Serie "Matematica e Statistica" WP n. 11/MS - 2008 - http://hdl.handle.net/10446/545 4.7 Partecipazione a convegni e conferenze come relatore • Finazzi F, Scott M.E, Fassò A (2013) A model based framework for air quality indices and population risk evaluation. With an application to the analysis of Scottish air quality data. RSS 2013 International Conference. Newcastle (UK), 3-5 September 2013. • Finazzi F, Scott M.E, Miller C, Fassò A (2013) A model-based clustering approach for the analysis of environmental time series. IWSM 2013. Palermo (Italy), 8-12 July 2013 • Finazzi F, Scott M.E, Miller C (2013) The estimation of latent temporal patterns in multivariate geolocated time series. SIS 2013 Statistical Conference. Brescia (Italy), 19-21 June 2013 • Finazzi F, Scott M.E (2013) A novel model-based clustering approach for the study of the temporal coherence of environmental time series. TIES2013 conference. Anchorage (USA), 10-14 June 2013 • Finazzi F, Miller C, Scott M.E (2012) A novel approach for the study of the temporal coherence of global time series. The 1st GloboLakes Scientific Workshop. Stirling, 10-12 December 2012 • Finazzi F, Fassò A (2012) D-STEM - A statistical software for multivariate space-time environmental data modeling. METMA VI conference. Guimaraes, 12-14 September 2012 5/10 • Fassò A, Finazzi F (2012) Spatio temporal models for dynamic mapping of exposure to air borne pollution and assessment of environmental policies. METMA VI conference. Guimaraes, 12-14 September 2012 • Finazzi F, A statistical model for spatial point aggregated data. The geostatistical potential model. IWSM'27 conference. Prague, 16-20 July 2012 • Finazzi F, Fassò A, Mapping population exposure and risk to airborne pollutants over large areas using ground level and satellite data. ISBIS2012 conference. Bangkok, 17-21 June 2012 • Finazzi F, Fassò A, Mappatura dinamica di esposizione e rischio della popolazione rispetto all'inquinante atmosferico PM10. PM2012 conference. Perugia, 16-18 May 2012 • Fassò A, Finazzi F, A multivariate spatio-temporal calibration model with space-time varying coefficients for the air quality assessment using remote sensing and ground level multipollutant data. TIES2012 conference. Hyderabad (India), 3-6 January 2012 • Finazzi F, Cameletti M, GPU algorithms for the estimation of environmental models based on large datasets. 7th SCo Conference. Padova, 19-21 September 2011 • Finazzi F, Fassò A, EM estimation of the Dynamic Coregionalization Model with varying coefficients. Proceedings of Spatial 2, Spatial Data Methods for Environmental and Ecological Processes – 2nd Edition. Foggia, 1-2 September 2011 • Finazzi F, Fassò A and Scott M.E, The dynamic coregionalization model in air quality risk assessment. International Statistical Institute World Statistics Congress. Dublin, 21-26 August 2011 • Finazzi F, Scott M.E and Fassò A, A multivariate space-time model for heterogeneous air quality networks. IWSM 2011 conference. Valencia, 11-15 July 2011 • Finazzi F, Fassò A, Spatio-temporal modeling and remote sensing for a common European air quality assessment method. From Space to Earth conference. Venice, 21-23 March 2011 • Fassò A., Finazzi F, Statistical mapping of air quality by remote sensing. Uncertainty and sensitivity to missing data. Accuracy2010 conference. Leicester, 20-23 July 2010 • Finazzi F, A Bayesian Approach to the Vectorization of Objects Boundaries from Digital Images. ISBIS 2010 conference. Portoroz, 5-9 July 2010 • Finazzi F., Fassò A, Applying the Dynamic Coregionalization Model to Particulate Matters Mapping Using Satellite Data. ISBIS 2010 conference. Portoroz, 5-9 July 2010 • Fassò A., Finazzi F., D’Ariano C, Integrating satellite and ground level data for air quality monitoring and dinamica mapping. SIS2009 conference. Pescara, 23-25 September 2009 • Fassò A., Finazzi F., D’Ariano C, Estimation of hierarchical spatio-temporal coregionalization models with the EM algorithm. TIES2009 conference. Bologna, 5-9 July 2009 • Finazzi F., Fassò A., Brugali D, Empirical modeling of uncertainty in vision system for industrial robotic applications. ENBIS-6 conference. Wroclaw, September 2006 6/10 4.8 Seminari Dec. 2013 Finazzi F, Smartphone-based sensor networks and some statistical challenges: the Earthquake Network Android application. University of Glasgow. School of Mathematics and Statistics. Nov. 2012 Finazzi F, European air quality modelling and population exposure distribution. Workshop on Energy, Air Quality and Sustainability: Models and Evidence. University of Bergamo. Ott. 2012 Finazzi F, A geostatistical model for spatial point aggregated data. University of Glasgow. School of Mathematics and Statistics. Gen. 2012 Finazzi F, Statistical space-time models in challenging applications. Interdepartmental Seminar Series MAT-STAT. Dept. of Information Technology and Mathematical Methods, University of Bergamo. Dec. 2011 Finazzi F, A geostatistical approach to the estimation of spatial market potentials and to the optimization of retail networks in the presence of competitors. 2011-Spring series of Lunch Seminars at the Dept. of Economics and Technology Management, University of Bergamo. Nov. 2010 Finazzi F, Metodi stocastici per l'estrazione di forme geometriche minimali da immagini digitali. Dept. of Information Technology and Mathematical Methods, University of Bergamo. Nov. 2009 Finazzi F, Mappatura dinamica e analisi statistica delle immagini. Servitec s.r.l. - Dalmine (BG) 4.9 Corsi di formazione Ott. 2012 NASA Training on Remote Sensing Data Usage in Air Quality Assessments. CMAS Center - Chapel Hill, NC, USA, 18-19 October 2012. 4.10 Organizzazione convegni Gen. 2011 Membro del comitato scientifico del 17th European Young Statisticians Meeting organizzato dall'European Regional Committee of the Bernoulli Society. Lisbon, 5-9th September 2011. 4.11 Attività di referaggio • Referee della rivista Environmetrics - ISSN 1099-095X • Referee della rivista Stochastic Environmental Research and Risk Assessment - ISSN 1436-3240 7/10 4.12 Sviluppo software statistico • D-STEM (Distributed Space Time Expectation Maximization) - Software distribuito e parallelo in ambiente Matlab per la stima di modelli statistici spazio-tempo e la mappatura dinamica di variabili fisiche, ambientali e meteorologiche osservate tramite reti a terra e remote sensing. http://code.google.com/p/d-stem/ • GPU4GL (GPU for Gaussian Likelihood) - Libreria dinamica C++ per la valutazione di funzioni di verosimiglianza gaussiane caratterizzate da matrici di grandi dimensioni tramite architetture hardware parallele basate su Graphics Processing Units (GPUs). http://code.google.com/p/gpu4gl/ 4.13 Partecipazione a società scientifiche e gruppi di ricerca • • • • Società Italiana di Statistica (SIS) The International Environmental Society (TIES) International Society for Business and Industrial Statistics (ISBIS) Research Group for Statistical Applications to Environmental Problems (GRASPA). 5. Incarichi didattici universitari Gen. 2014 – Università degli Studi di Bergamo - Dipartimento di Scienze Aziendali, Economiche e Metodi Quantitativi Docenza del Corso di Statistica I – 9CFU Gen. 2014 - Università degli Studi di Bergamo - Dipartimento di Ingegneria Docenda del corso di Statistica nell'ambito della nona edizione del Master di Gestione della Manutenzione Industriale Gen. 2013 - Università degli Studi di Bergamo - Dipartimento di Ingegneria Docenda del corso di Statistica nell'ambito dell'ottava edizione del Master di Gestione della Manutenzione Industriale Mar. 2012 - Università degli Studi di Bergamo - Facoltà di Ingegneria Esercitazione e tutorato relativi al corso di Statistica e Modelli Stocastici (II modulo) Dic. 2011 - Università degli Studi di Bergamo - Facoltà di Ingegneria Corso di statistica tramite l’utilizzo di software Matlab e R per Dottorato di Ricerca in Economics and Management of Technology Mar. 2011 - Università degli Studi di Bergamo - Facoltà di Ingegneria Esercitazione e tutorato relativi al corso di Statistica e Modelli Stocastici (II modulo) Mar. 2010 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività didattica sussidiaria relativa al corso di Modelli Stocastici Dic. 2009 - Università degli Studi di Bergamo - Facoltà di Ingegneria Corso di statistica tramite l’utilizzo di software Matlab e R per Dottorato di Ricerca in Economics and Management of Technology Mar. 2009 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività didattica sussidiaria relativa al corso di Modelli Stocastici 8/10 Mar. 2009 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività di tutorato tramite software R nell'ambito dell'insegnamento di Statistica Giu. 2008 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività di tutorato tramite software R nell'ambito dell'insegnamento di Statistica Mar. 2008 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività didattica sussidiaria relativa al corso di Modelli Stocastici Mar. 2007 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività di tutorato tramite software Matlab® nell’ambito dell’insegnamento di Statistica 7,5 Cfu Mag. 2007 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività didattica sussidiaria a distanza in modalità FAD relativa al corso di Modelli Stocastici 5 Cfu Mag. 2006 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività didattica sussidiaria a distanza in modalità FAD relativa al corso di Statistica 7,5 Cfu Mar. 2006 - Università degli Studi di Bergamo - Facoltà di Ingegneria Attività di tutorato tramite software Matlab® nell’ambito dell’insegnamento di Statistica 7,5 Cfu 6. Attività di consulenza dipartimentale Ott. 2012 - T.R.S. S.p.A. - Roma SCAMPI Class A appraisal per il conseguimento del livello 5 High Maturity di CMMI® Gen. 2012 - Next S.p.A. - Roma Corso High Maturity - Capability Maturity Model Integration (CMMI®) per conto di Business Strategy s.r.l. Set. 2011 - Intecs S.p.A. - Pisa Corso High Maturity - Capability Maturity Model Integration (CMMI®) per conto di Business Strategy s.r.l. Giu. 2011 - T.R.S. S.p.A. - Roma Corso High Maturity - Capability Maturity Model Integration (CMMI®) per conto di Business Strategy s.r.l. Apr. 2009 - Field s.r.l. - Lallio (BG) Sviluppo di un modello di calibrazione statistica per il monitoraggio del profilo di binari ferroviari ad alta velocità tramite sistema Rail Deformation System di Sisgeo s.r.l. Lug. 2008 - Accenture S.p.A. - Bratislava Corso High Maturity - Capability Maturity Model Integration (CMMI®) per conto di Business Strategy s.r.l. Dic. 2005 - Skyline s.r.l. - Bergamo Sviluppo di un sistema visual-servoing per il pick&place di prodotti alimentari tramite robot manipolatore dotato di telecamera. 9/10 7. Attività di ricerca extra-universitaria Gen. 2013 Sviluppo di un'applicazione per sistema operativo Android per il rilevamento di eventi sismici tramite una rete di telefoni cellulari smartphone. www.earthquakenetwork.it Gen. 2008 Sviluppo di un sistema software di visione artificiale per l'acquisizione di sagome bidimensionali e loro vettorializzazione in formato DXF per riproduzione tramite macchine utensili a controllo numerico. Gen. 2007 Sviluppo di un sistema software di elaborazione dati acquisiti tramite laser ottico di misura per copiatura e riproduzione bassorilievi 2.5D. 8. CONOSCENZE INFORMATICHE Software statistico: R, Matlab, Minitab Software e architetture di calcolo parallelo: Matlab – Parallel Computing Toolbox, CUDA (GPU). Linguaggi di programmazione: C++, Pascal, Java, Delphi, Visual C++, C#. 9. CONOSCENZE LINGUISTICHE Lingua Italiano Inglese Comprensione Madrelingua Ottimo Scritto Madrelingua Ottimo Orale Madrelingua Molto buono Dalmine, 12/02/2014 Francesco Finazzi 10/10
© Copyright 2024 ExpyDoc
