Nuova ricerca


Dettaglio della ricerca

Nome e cognome Alessandro Facchini

Funzione Istituto Dalle Molle di studi sull'intelligenza artificiale, ricercatore

Email alessandro.facchini@supsi.ch

Website http://people.idsia.ch/~facchini/

Ufficio Galleria 1 - 230
Via Cantonale, 6928 Manno

Telefono interno 058 666 66 40

vCard

Formazione 2007-2010: Dottorato in Informatica, co-supervisione Prof. J. Duparc (U. Losanna) e DR CNRS I. Walukiewicz (LaBRI - U. Bordeaux 2) // 2004-2006: DEA in Logica e Fondamenti della Matematica, Università di Barcellona // 1998-2003: Master in Lettere e Scienze Umane (Logica, Linguistica e Matematica), Università di Neuchâtel

Esperienze professionali 2012-2014: Professore assistente, Facoltà di Matematica e Informatica, Università di Varsavia // 2011-2012: Post-Doc, Facoltà d'Informatica, Università di Amsterdam // 2011: Post-Doc, Facoltà di Matematica e Informatica, Università di Varsavia // 2010: Visiting Research Fellow, Jack Baskin School of Engineering, Università della California, Santa Cruz // 2005-2010: Assistente, Centro Romando di Logica, Filosofia e Storia della Scienza & Istituto dei Sistemi d'Informazione, Università di Losanna

Competenze Logica matematica, teoria degli automi, teoria dei giochi

Riconoscimenti 2012 FNP Homing Plus Grant // 2011 Paul Bernays Award (http://www.sslps.unibe.ch/Bernays.html)

Articolo di un giornale scientifico 7 Elementi

Benavoli, A., Facchini, A.& Zaffalon, M. (2016) Quantum mechanics: The Bayesian theory generalized to the space of Hermitian matrices. Physical Review A, vol. 95 (042106). » in dettaglio Facchini, A., Murlak, F.& Skrzypczak, M. (2016) Index Problems for Game Automata. ACM Transactions on Computational Logic, vol. 17 (4). » in dettaglio Facchini, A., Rottondi, C.& Verticale, G. (2016) Emergence of Shared Behaviour in Distributed Scheduling Systems for Domestic Appliances. ACM SIGMETRICS Performance Evaluation Review, vol. 44 (2) pp.70-75. » in dettaglio Facchini, A., Hirai, Y., Marx, M.& Sherkhonov, E. (2015) Containment for Conditional Tree Patterns. Logical Methods in Computer Science, vol. 11 (2). » in dettaglio Facchini, A.& Wendling, B. (2014) Stop thinking that I am only speaking about the world, go further : infer ! A short history of formal semantics of the twentieth century . Beiträge zur Geschichte der Sprachwissenschaft, vol. 24 (2) pp.267-282. » in dettaglio Alberucci, L.& Facchini, A. (2009) modal μ-calculus hierarchy over restricted classes of transition systems, The. Journal of Symbolic Logic, vol. 74 (4) pp.1367-1400. » in dettaglio Alberucci, L.& Facchini, A. (2009) On Modal μ-Calculus and Gödel-Löb Logic. Studia Logica, vol. 91 (2) pp.145-169. » in dettaglio

Articolo in documento di una conferenza 12 Elementi

Benavoli, A., Facchini, A.& Zaffalon, M. (2016) Quantum rational preferences and desirability. In JMLR Workshop and Conference Proceedings 58. » in dettaglio Facchini, A., Murlak, F.& Skrzypczak, M. (2015) On the Weak Index Problem for Game Automata. In Logic, Language, Information, and Computation, pp.1-1. » in dettaglio Carreiro, F., Facchini, A., Venema, Y.& Zanasi, F. (2014) Weak MSO: automata and expressiveness modulo bisimilarity., pp.27-27. » in dettaglio Facchini, A.& Michalewski, H. (2014) Deciding the Borel Complexity of Regular Tree Languages., pp.163-172. » in dettaglio Facchini, A., Murlak, F.& Skrzypczak, M. (2013) Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata., pp.499-508. » in dettaglio Facchini, A., Venema, Y.& Zanasi, F. (2013) Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus, A., pp.478-487. » in dettaglio Duparc, J., Facchini, A.& Murlak, F. (2011) Definable Operations On Weakly Recognizable Sets of Trees., pp.363-374. » in dettaglio Ten Cate, B.& Facchini, A. (2011) Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs., pp.290-302. » in dettaglio Cabessa, J., Duparc, J., Facchini, A.& Murlak, F. (2009) Wadge Hierarchy of Max-Regular Languages, The., pp.121-132. » in dettaglio Duparc, J.& Facchini, A. (2009) Playful Glance at Hierarchical Questions for Two-Way Alternating Automata, A. In ILC 2007. Revised Selected Papers, pp.46-55. Springer LNCS. » in dettaglio Duparc, J., Facchini, A.& Murlak, F. (2009) Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata., pp.225-239. » in dettaglio Duparc, J.& Facchini, A. (2008) Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)., pp.186-195. » in dettaglio

Libro 1 Elemento

Facchini, A. (2003) Maison Hilbert": un très joli édifice sans toit ni sol. Analyse model-théorétique d'un échec., Centre de Recherches Sémiologiques, Université de Neuchâtel. » in dettaglio

Progetti di cui è membro

SmartH2O: an ICT Platform to leverage on Social Computing for the efficient management of Water Cons » in dettaglio

 
st.wwwsupsi@supsi.ch