A. Abate
Home
Contact Info
Bio Sketch
Research
Interests
Publications
Software
Teaching
Courses

Alessandro Abate

Research Items

  • Best Paper Award at QEST16

  • Best Paper Award Finalist at HSCC13

  • Best Student Paper Award at BIBE07

  • Best Student Paper Award Finalist at ECC16 (S. Haesaert) and at WODES2014 (D. Adzkiya)

  • Silver Medal, 2014 Kurt Goedel Research Prize

Older News

  • VeriSiMPL 2.0 - download at Sourceforge and read article (v1.3) and article (v2.0)

  • FAUST^2 1.0 - download at Sourceforge and read article

  • 55th International Conference on Decision and Control CDC16 — E&S chair

  • 19th Conference on Hybrid Systems: Computation and Control - HSCC16 - PC chair

  • 27th International Conference on Concurrency Theory CONCUR16 - IPC

  • 13th International Conference on Quantitative Evaluation of SysTems QEST16 - IPC

  • 14th International Workshop on Quantitative Aspects of Programming Languages and Systems QAPL16 - IPC

  • 13th International Workshop on Formal Engineering approaches to Software Components and Architectures FESCA16 - IPC

  • AAAI-16 Workshop on Planning for Hybrid Systems PlanHS - IPC

  • 13th International Workshop on Discrete Event Systems WODES16

  • 22nd International Symposium on Mathematical Theory of Networks and Systems MTNS16 - IPC

  • 4th International Workshop on Hybrid Systems Biology - HSB 2015 - PC chair

  • 13th International Symposium on Automated Technology for Verification and Analysis - ATVA15 - IPC

  • 12th International Conference on Quantitative Evaluation of SysTems - QEST15 - IPC

  • 5th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2015 - IPC

  • 3rd IEEE International Workshop on Formal Methods Integration FMi 2015 - IPC

  • 5th International Workshop on Dependable Control of Discrete Systems - DCDS 2015 - IPC

  • Cyber Physical Systems Symposium at 7th SPIE Microtechnologies, Barcelona 2015 - IPC

  • 1st International Conference on Uncertainty Quantification in Computational Sciences and Engineering - UNCECOMP15 - IPC

  • 2015 International Conference on Cyber Physical Systems ICCPS 2015 - IPC

  • Best student paper award finalist at WODES14, with D. Adzkiya

  • Silver medal, 2014 Goedel Research Prize

  • European FP7 project: ‘‘Advanced Building Diagnosis and Maintenance’’ - AMBI webpage

  • Dagstuhl seminar on Modeling, Verification, and Control of Complex Systems for Energy Networks - organiser

  • IEEE International Meeting on Analysis and Applications of Nonsmooth Systems - AANS14 - IPC

  • 11th International Conference on Quantitative Evaluation of SysTems - QEST14 - IPC

  • 21st International Symposium on Mathematical Theory of Networks and Systems - MTNS 2014 - AE

  • 17th Conference on Hybrid Systems: Computation and Control - HSCC14 - IPC

  • 4th IEEE/ACM International Conference on Cyber Physical Systems - ICCPS 2014 - IPC

  • ECC 2013 Pre-Conference Workshop on Stochastic hybrid systems

  • Mid 2013: I’ve started working as a University Lecturer at the Department of Computer Science, University of Oxford

  • Honorable mention (2nd place) at HSCC13 for the article ‘‘Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems’’

  • 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications - CPSNA 2013 - IPC

  • LCCC Workshop on Formal Verification of Embedded Control Systems

  • 4th International Workshop on Dependable Control of Discrete Systems - DCDS 2013, cfp - IPC

  • van Gogh grant (FR/NL Academie), on a project with INRIA Rocquencourt (dr. G. Batt)

  • 2013: The VeriSiMPL toolbox (developed with D. Adzkiya) is on Sourceforge

  • 21st Mediterranean Conference on Control and Automation - MED 2013 - IPC

  • 15th International Conference on Hybrid Systems: Computation and Control - HSCC 2013 - IPC

alt text 

  • 2012 TU Delft iGEM team reaches world jamboree at MIT. Read about the work here

  • October 2012: Advanced Course Metabolomics for Microbial Systems Biology

  • Ac.Yr. 2012/13, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

  • Summer 2012: VeriSiMPL released, a software for Verification via biSimulations of Max-Plus Linear Models (with D. Adzkiya), link

  • TU Delft Students: new course Probabilistic Models in the Life Sciences, 2e Sem, Q4 (Spring 2012). Here is a flyer and a link to class

  • Ac.Yr. 2011/12, 2e Sem, Q3 - SC 4070: Control Systems Lab (link to class)

  • 20th Mediterranean Conference on Control and Automation - MED 2012 - IPC

  • 4th IFAC Conference on Analysis and Design of Hybrid Systems - ADHS 2012 - Pub Chair and IPC

  • 15th International Conference on Hybrid Systems: Computation and Control - HSCC 2012 - IPC

  • European FP7 project: ‘‘Modelling, verification and control of complex systems: From foundations to power network applications’’ - MoVeS webpage, call

  • October 2011: Advanced Course Metabolomics for Microbial Systems Biology

  • Ac.Yr. 2011/12, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

alt text 

  • TU Delft 2011 iGEM team at work here

  • 3mE Students: join the 2011 TU Delft iGEM team. Enroll in SCP4580 for more info. Here is a flyer

  • FP7 NoE HYCON 2

  • 19th Mediterranean Conference on Control and Automation - MED 2011 - IPC

  • Lecture at HAS’11, by ETAPS 2011

  • Lecture at ‘‘AVACS meets Control workshop,’’ Sept 28, 2010

  • 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011 - IPC

  • Ac.Yr. 2010/11, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

  • TU Delft MSc Students: on this page you can find a list of topics for Master Projects

  • October 2010: Advanced Course Metabolomics for Microbial Systems Biology. Here’s a flyer

alt text 

  • TU Delft 2010 iGEM team reaches finals at MIT. Read about the work here

  • 2009 VENI award from the Dutch Organization for Scientific Research (NWO, EW)
    More info can be found here

  • Marie Curie Fellowship from the European Commission

  • 3mE Students: please consider joining the TU Delft team participating in the 2010 international Genetically Engineered Machine competition (iGEM), to be held in Boston next Fall. Here’s a flyer

  • 13th International Conference on Hybrid Systems: Computation and Control - HSCC 2010 - IPC

  • Ac.Yr. 2009/10, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

  • June 2009: I’ve started as an Assistant Professor at TU Delft

  • May 2009: Leaving Stanford – my local webpage

  • Dec 2008, 47th IEEE Conference on Decision and Control: pre-conference workshop, Stochastic Hybrid Systems: Theory and Applications. Check out the official URL for more info. Download the flyer

  • November 2007: My PhD dissertation is online. Please see my publications page

  • Fall 2007: I’ve started a postdoc at Stanford University, working with Professor Claire Tomlin

  • October 2007: The article Quantitative and Probabilistic Modeling in Pathway Logic earns the Best Student Research Paper Award at the IEEE BIBE07

  • April 2006: I’ve been presented with the 2006 Leon Chua Award. Check out this website for more info

  • October 2005: I’ve been featured, along with other young researchers in California, in a magazine of La Repubblica. Here’s the pdf of the piece, Cartoline dai Cervelli in Fuga