Software Engineer and researcher working on distributed systems and security. I focus on building large-scale distributed systems and on developing methods for managing their security. My experience includes: - Built a large-scale distributed event-based systems for monitoring the security of an infrastructure. The main challenges included scaling to a large number of nodes, load balancing, and maintaining the monitoring system secure. - Designed a distributed reasoning algorithm for event-correlation able to reduce the load on each server to 50% of the original load, when compared with similar solutions. - Defined techniques for validating monitoring data in an "infrastructure-as-a-service" scenario using Virtual Machine Introspection (VMI) Experience in building applications on top of AWS services, Mysql, Zookeeper, Thrift, and Hadoop. Specialties: distributed systems, security, automated network management, policy compliance, event-based systems, cloud computing

Software Engineer @ From June 2013 to Present (2 years 7 months) San Francisco Bay AreaResearch Assistant @ * Implemented a scalable distributed event-based monitoring system for policy compliance. - Introduced a distributed event-correlation algorithm based on logic reasoning that provides up to 50% reduction in servers’ load and makes the system resilient to attacks. - Introduced information-sharing techniques that provide up to 40% reduction in the information to share across organizations during the detection of compliance problems in multi-organization systems. * Implemented systems for increasing the security of Infrastructure-as-a-service cloud systems. - Defined techniques for validating monitoring data using Virtual Machine Introspection (VMI). - Developed a technique for validating the integrity of virtual machine images available on public “Virtual Appliance Markets” and performed an experimental analysis of 160 EC2 AMIs to validate their integrity. * Introduced logic-based techniques for the analysis of the security of critical infrastructure systems. * Systems implemented in Java, C++, Bash or Python scripts. From August 2007 to May 2013 (5 years 10 months) Teaching Assistant @ - TA for Advanced Operating Systems (CS523). The class analyses classical and recent research papers in the area of Operating Systems. - Guided discussion sessions and research projects. From August 2012 to December 2012 (5 months) Urbana-Champaign, Illinois AreaInstructor for Distributed Systems (CS425) @ * Prepared and given 26 lectures on fundamental concepts and modern applications of Distributed Systems. - Topics included failure detection, RPC, distributed transactions, consensus, P2P systems and overviews of modern systems such as GFS, Map/Reduce, and BigTable. - Managed a mixed class of grad / undergrad students 41 students: 21 onsite students, 20 online students. From May 2012 to August 2012 (4 months) Urbana-Champaign, Illinois AreaSoftware Developer Engineer Intern @ * Developed storage and analysis solutions for the monitoring of DDoS attacks to AWS services. * Systems implemented in Java with extensive use of AWS services (S3, RDS, SimpleDB, EC2). From May 2011 to August 2011 (4 months) R&D Intern @ * Defined logic-based security assessment techniques for the analysis of distributed critical infrastructure systems. * Applied formal-method techniques for proving correctness of fault-tolerant power distribution systems in aircrafts. From May 2008 to August 2008 (4 months) Co-Founder @ * Co-Founder of the startup. Developed newsletter management components around Apache James (Java). * Implemented systems for managing S/MIME, bounce messages, and for visualizing data to the user through web. From October 2003 to August 2007 (3 years 11 months) Junior Specialist @ * Built a policy-based system for the scalable dissemination of customized information in pub/sub systems. - Developed a web interface integrated with Google maps for creating and disseminating emergency warning messages about natural disasters. - Introduced algorithms for the distributed customization of information during dissemination in a P2P system. * Systems developed in Java (JSP), Javascript, CSS.  From September 2005 to July 2007 (1 year 11 months) Java Developer and System Administrator @ * Developed a webserver log analysis application for measuring ad campaign success. Implemented in PHP and Java. *Tuned performance of MySQL databases for data warehouse applications. From April 2000 to May 2003 (3 years 2 months) Web Developer @ From June 1999 to April 2000 (11 months)

Doctor of Philosophy (PhD), Computer Science, 4.0 @ University of Illinois at Urbana-Champaign From 2007 to 2013 Laurea Specialistica (MS-equivalent), Ingegneria Informatica, 4.00 @ Università di Bologna From 1999 to 2005 Mirko Montanari is skilled in: Distributed Systems, Security, Research, Network Security, Cloud Computing, IaaS, Algorithms, C++, Java, C, Network Administration, MySQL, Linux, Eclipse, Middleware