{"id":1044,"date":"2018-12-11T17:43:06","date_gmt":"2018-12-11T17:43:06","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=1044"},"modified":"2019-10-04T07:56:52","modified_gmt":"2019-10-04T07:56:52","slug":"invited-speakers","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/invited-speakers\/","title":{"rendered":"Invited Speakers"},"content":{"rendered":"

 <\/p>\n

FM 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n\n
Erik Poll<\/strong>
\n\"\" <\/a>Erik Poll is Associate Professor at the Digital Security group at Radboud University in Nijmegen. Here he has carried out applied security research into smartcards, payment systems, security protocols and smart grids, and investigated the use of formal methods to support such security analyses, especially to analyse the software implementing the protocols involved. Earlier he worked on the verification of object-oriented programs, especially for Java and using the specification language JML.<\/td>\n<\/tr>\n
June Andronick<\/strong>
\n\"\" <\/a>June Andronick leads the Trustworthy Systems group, world-leading in verified operating systems software, known worldwide for the formal verification of the seL4 microkernel. She is a Principal Research Scientist at Data61|CSIRO, and conjoint Associate Professor at UNSW Sydney, Australia. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (TR35). She previously worked in industry for the smart-card manufacturer Gemalto in Formal Methods research.<\/td>\n<\/tr>\n
Shriram Krishnamurthi<\/strong>
\n\"\" <\/a>Shriram Krishnamurthi is a Professor of Computer Science and an Associate Director of the Executive Master in Cybersecurity at Brown University. With collaborators and students, he has created several influential systems and written multiple widely-used books. He also co-directs the Bootstrap math-and-computing outreach program. For his work he has received SIGPLAN’s Robin Milner Young Researcher Award, SIGSOFT’s Influential Educator Award, SIGPLAN’s Software Award, and Brown’s Henry Merritt Wriston Fellowship for distinguished contribution to undergraduate education. He has authored over a dozen papers recognized for honors by program committees. He has an honorary doctorate from the Universit\u00e0 della Svizzera Italiana.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

DS 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Sung-Shik Jongmans<\/strong>
\n\"\" <\/a>Sung-Shik Jongmans is assistant professor at Open University of the Netherlands and researcher in the Formal Methods group at Centrum Wiskunde & Informatica (CWI), Amsterdam. He has a PhD degree from Leiden University (2016) and was visiting researcher at Imperial College London (2017-2019). His research interests include concurrency and programming languages; at the intersection of theory and practice, he currently works on design and implementation of DSL techniques for code generation, optimization, and verification of synchronization and communication protocols.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

iD 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Constance Heitmeyer<\/strong>
\n\"\" <\/a>Constance Heitmeyer heads the Software Engineering Section of NRL’s Center for High Assurance Computer Systems. Her research focuses on techniques for modeling and analyzing critical software systems and on methods for assuring the safety and security of these systems. Chief designer of NRL\u2019s Requirements Toolset, she has published 150+ papers on a wide range of software-related research topics and is a frequent invited speaker at conferences and universities. She has transferred the results of her research to many practical, safety-critical systems, including NASA\u2019s International Space System and a Navy weapons system. Recently, she led the team that provided formal evidence, including a formal model, a set of security properties, mechanized proof that the model satisfies the properties, and a demonstration that the source code satisfies the model, for certifying the security of a software-based communications system. Currently, she leads the formal methods V&V team whose objective is to provide assurance that a space robot performs its autonomous operations safely and correctly.<\/td>\n<\/tr>\n
Michael Leuschel<\/strong>
\n\"\" <\/a>Michael Leuschel is full professor at the Institut f\u00fcr Informatik of Heinrich-Heine-Universit\u00e4t D\u00fcsseldorf, Germany, where he leads the Software Engineering and Programming Languages group. His research focusses on model-based problem solving using symbolic model checking. He has been one of the main developers of ProB, a successful animator, constraint solver and model checker for the B-Method. ProB is certified T2 SIL4 according to the Cenelec EN 50128 standard. Michael’s research is also behind the development of the ECCE system for partial deduction.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

LOPSTR 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Germ\u00e1n Vidal<\/strong>
\n\"\" <\/a>German Vidal is a Professor of Computer Science at the Universitat Politecnica de Valencia, Spain. He leads a research group on Multi-paradigm Software Technology at the Valencian Research Institute for Artificial Intelligence (VRAIN). His research has mainly considered declarative programming languages and formalisms (e.g., term rewriting, functional and logic programming, the actor model) and research topics related to program semantics, integrated functional-logic languages, partial evaluation, software testing, program analysis, etc. Currently, his work mainly focuses on reversible computation and its application to program debugging in message-passing concurrent languages.<\/td>\n<\/tr>\n
John Gallagher<\/strong>
\n\"\" <\/a>John Gallagher received a Ph.D. in Computer Science from Trinity College Dublin, Ireland in 1983. After employment in research and development in a software company in Hamburg, Germany, and post-doc appointments at the Weizmann Institute of Science, Israel and Katholieke Universiteit Leuven, Belgium, he was employed at the University of Bristol, UK from 1990 to 2002. Since 2002 he has been a professor at the Roskilde University, Denmark and since 2008 he has also been a part-time research professor at IMDEA Software Institute, Madrid, Spain. His research interests focus on program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

MPC 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Annabelle McIver<\/strong>
\n\"\" <\/a>Annabelle McIver is a Professor of Computer Science at Macquarie University in Sydney. Annabelle trained as a mathematician at Cambridge and Oxford Universities. Her research uses mathematics to prove quantitative properties of programs, and more recently to provide foundations for quantitative information flow for analysing security properties. She is co-author of the book Abstraction, Refinement and Proof for Probabilistic Systems<\/em>, and of the forthcoming title The Science of Quantitative Information Flow<\/em>.<\/td>\n<\/tr>\n
Assia Mahboubi<\/strong>
\n\"\" <\/a>Assia Mahboubi is a permanent researcher at Inria and an endowed Professor at the Department of Mathematics of the VU Amsterdam. Her research interests are the foundations and formalization of mathematics in type theory and the automated verification of mathematical proofs. She was previously a member of the Mathematical Components team at the Inria Microsoft Research joint centre, known for a machine-checked proof of the Odd Order theorem in finite group theory. She has been one of the main contributors to this collaborative effort. Her current projects are related to the formal verification of mathematical software.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

PPDP 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n\n
Amal Ahmed<\/strong>
\n\"\" <\/a>Amal Ahmed is an Associate Professor at the Khoury College of Computer Sciences at Northeastern University, where she leads the SILC group (Secure Interoperability, Languages, and Compilers). Her current research focuses on correct and secure compilation with support for safe inter-language linking of compiled code. Her group’s recent work also involves dependent-type-preserving compilation, new foundations for gradual typing, and formalizing the Rust type system. She is known for her work scaling the logical relations proof method, including “semantic” type soundness, to realistic languages. She received a PhD from Princeton, an MS from Stanford, and an AB from Brown, all in CS. Her awards include an NSF Career Award and a Google Faculty Research Award.<\/td>\n<\/tr>\n
Mariangiola Dezani<\/strong>
\n\"\" <\/a>Mariangiola Dezani-Ciancaglini is emeritus professor at the University of Torino since 2017. She was nominated EATCS Fellow in 2015. She has been member and chairman of program committees of international conferences, teacher of postdoctoral schools, supervisor of Ph.D. theses. She is or has been member of the editorial board of Information and Computation, the Computer Journal and Springer-Nature Computer Science, member of the IFIP Working Group 2.2 and member of the Academia Europaea.<\/td>\n<\/tr>\n
Naoki Kobayashi<\/strong>
\n\"\" <\/a>Naoki Kobayashi is a professor at Department of Computer Science, Graduate School of Information Science and Technology, The University of Tokyo. He received his PhD from the University of Tokyo in 1996. His current major research interests are in principles of programming languages, especially type systems, higher-order model checking, and automated program verification.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

RV 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n\n
Akshay Rajhans<\/strong>
\n\"\" <\/a>Dr. Akshay Rajhans is a Principal Research Scientist at MathWorks. His work and research interests lie in multi-formalism model-based design of cyber-physical systems. He organizes the MathWorks Research Summits and other external research conferences, and has been an invited speaker and a panelist at various research gatherings for over a decade. Earlier, he worked on electronic control for diesel engine applications at Cummins and on non-intrusive load monitoring at Bosch Research. He has a Ph.D. from Carnegie Mellon University and an M.S. from University of Pennsylvania. (Akshay Rajhans is kindly sponsored by Runtime Verification Inc<\/a>.)<\/td>\n<\/tr>\n
David Basin<\/strong>
\n\"\" <\/a>David Basin is professor of Computer Science at ETH Zurich and department head. He received his Ph.D. in Computer Science from Cornell University in 1989 and his Habilitation from the University of Saarbrucken in 1996. From 1997\u20132002 he held the chair of Software Engineering at the University of Freiburg. He is the founding director of the Zurich Information Security Center, which he led from 2003-2011. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and an ACM fellow. (David Basin is kindly sponsored by Runtime Verification Inc<\/a>.)<\/td>\n<\/tr>\n
Sanjit A. Seshia<\/strong>
\n\"\" <\/a>Sanjit A. Seshia is a Professor in the Dept. of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He received an M.S. and Ph.D. in CS from Carnegie Mellon University, and a B.Tech. in CS and Eng. from the Indian Institute of Technology, Bombay. His research interests are in formal methods for dependable and secure computing, with a current focus on the areas of cyber-physical systems, computer security, and robotics. He has made pioneering contributions to the areas of satisfiability modulo theories (SMT), SMT-based verification, and inductive program synthesis. He is co-author of a widely-used textbook on embedded, cyber-physical systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education. He is a Fellow of the IEEE. (Sanjit A. Seshia is kindly sponsored by Runtime Verification Inc<\/a>.)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

SAS 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n\n\n
Caterina Urban<\/strong>
\n\"\" <\/a>Caterina Urban is a Research Scientist at INRIA and \u00c9cole Normale Sup\u00e9rieure in Paris. Her main research interest is the development of formal methods and static analysis tools to enhance the reliability of computer software and to help understanding complex software systems. Prior to INRIA, she was a postdoc at ETH Zurich. She received her PhD in Computer Science with full marks and honors from \u00c9cole Normale Sup\u00e9rieure, where she was advised by Radhia Cousot and Antoine Min\u00e9. During her PhD she spent five months as a visiting research scholar at the NASA Ames Research Center and Carnegie Mellon University in California. She holds a Bachelor’s and a Master’s degree in Computer Science from the Universit\u00e0 degli Studi di Udine in Italy, where she was born and grew up. (Caterina Urban is kindly sponsored by Google LLC<\/a>.)<\/td>\n<\/tr>\n
Mayur Naik<\/strong>
\n\"\" <\/a>Mayur Naik is an Associate Professor of Computer and Information Science at the University of Pennsylvania. His current research interests lie at the intersection of machine learning and symbolic reasoning, with applications to computer-aided approaches for improving software quality and programmer productivity. His contributions span the areas of static analysis, constraint solving, testing, security, concurrency, and mobile computing. He received a Ph.D. in Computer Science from Stanford University in 2008. Previously, he was a researcher at Intel Labs, Berkeley from 2008 to 2011, and a faculty member at Georgia Tech from 2011 to 2016. (Mayur Naik is kindly sponsored by Google LLC<\/a>.)<\/td>\n<\/tr>\n
Somesh Jha<\/strong>
\n\"\" <\/a>Somesh Jha received his B.Tech from Indian Institute of Technology, New Delhi in Electrical Engineering. He received his Ph.D. in Computer Science from Carnegie Mellon University under the supervision of Prof. Edmund Clarke (a Turing award winner). Currently, Somesh Jha is the Lubar Professor in the Computer Sciences Department at the University of Wisconsin (Madison). His work focuses on analysis of security protocols, survivability analysis, intrusion detection, formal methods for security, and analyzing malicious code. Recently, he has also worked on privacy-preserving protocols and adversarial ML (AML). Somesh Jha has published several articles in highly-refereed conferences and prominent journals. He has won numerous best-paper and distinguished-paper awards. Prof Jha also received the NSF career award. Prof. Jha is the fellow of the ACM and IEEE. (Somesh Jha is kindly sponsored by Google LLC<\/a>.)<\/td>\n<\/tr>\n
Suresh Jagannathan<\/strong>
\n\"\" <\/a>Suresh Jagannathan is the Samuel D. Conte Professor of Computer Science at Purdue University. His research interests are in programming languages generally, with a specific focus on program verification, functional programming, and concurrent and distributed systems. From 2013-2016, he served as a program manager in the Information Innovation Office at DARPA, where he conceived and led programs in probabilistic reasoning and machine learning, program synthesis, and adaptive computing. He has also been a visiting faculty scholar at Cambridge University, where he spent a sabbatical year in 2010; and, prior to joining Purdue, was a senior research scientist at the NEC Research Institute in Princeton, N.J. He received his Ph.D from MIT. (Suresh Jagannathan is kindly sponsored by Google LLC<\/a>.)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

TAP 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Ana Cavalcanti<\/strong>
\n\"\" <\/a>Ana Cavalcanti is Professor of Software Verification at York and Royal Academy of Engineering Chair in Emerging Technologies working on Software Engineering for Robotics: modelling, validation, simulation, and testing<\/em>. She held a Royal Society-Wolfson Research Merit Award and a Royal Society Industry Fellowship to work with QinetiQ in avionics. She has chaired the PC of various well-established international conferences, is on the editorial board of four international journals, and is Chair of the board of the FME<\/a> Association. She is, and has been, PI on several large research grants. Her current research is on theory and practice of verification and testing for robotics.<\/td>\n<\/tr>\n
Heike Wehrheim<\/strong>
\n\"\" <\/a>Heike Wehrheim is a full professor of Computer Science at Paderborn University, Germany. Before, she worked as a post-doc at the University of Oldenburg, obtained her PhD from Hildesheim University and studied at the University of Bonn. Her research interest are formal methods and software verification, in particular recently the combination of different verification techniques.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

UTP 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
C.A.R. Hoare<\/strong>
\n\"\" <\/a>Tony Hoare’s highest official academic qualification is an MA in Classical Greats at Oxford (1952-1956). He earned professional qualifications as an Interpreter of Russian (1956-8) and as a Statistician (1958-9). He exercised his Russian as an intern at Moscow State University (1959-60), and on many subsequent visits to the Soviet Union (or Russia) and to Armenia. His first job was in the UK Computer Industry at a small computer manufacturer, where he held posts as Programmer, Chief Engineer, and Researcher (1960-68). He then applied for the Chair of Computing Science at the Queen’s University, Belfast, and to his surprise he was appointed (1968-77). He left Belfast with regret, to return to Oxford University as Professor of Computation back at Oxford (1977-99). His first retirement job was in Cambridge with Microsoft Research (1999-2017) where he stimulated an international Grand Challenge Initiative in Verified Software. Since his second retirement, he has been an unpaid Visitor at Microsoft Research and an Honorary Member of the Cambridge University Computing Laboratory.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

VECoS 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Ali Mili<\/strong>
\n\"\" <\/a>Ali Mili holds a PhD in CS from the University of Illinois and a Doctorat es-Sciences d’Etat from the University of Grenoble. He served as chairperson of the Computer Science Department at the University of Tunis and currently serves as Professor and Associate Dean in the Ying Wu College of Computing at NJIT, Newark, NJ.<\/td>\n<\/tr>\n
Jose F. Morales<\/strong>
\n\"\" <\/a>Jose F. Morales holds a PhD in Cs from the Technical University of Madrid (UPM). He is a member of the CLIP group at UPM and researcher at the IMDEA Software Institute. His main research interests are logic programming, compilers, and program analysis and verification.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

AFFORD 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Paolo Masci<\/strong>
\n\"\" <\/a>Paolo Masci is a Senior Research Scientist with the Formal Methods Group at the National Institute of Aerospace (NIA), USA. Prior to joining NIA, Paolo carried out his research in different institutions, including INESC-TEC and Universidade do Minho (Portugal), Queen Mary University of London (UK), Italian National Research Council (Italy), and University of Pisa (Italy). From 2012 to 2018, he was visiting researcher at the US Food and Drug Administration (FDA), and his main research focus was on tools and methods for early identification of software anomalies in medical devices. At NIA, Paolo conducts research on theorem proving technology for verification of safety-critical aerospace applications. His research interests include verification of human-machine interfaces, co-simulation technologies, and rapid prototyping.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

DALI 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Dexter Kozen<\/strong>
\n\"\" <\/a>Dexter Kozen is the Joseph Newton Pew, Jr. Professor in Engineering, at Cornell University. One of the fathers of dynamic logic and the Mu-calculus, he is also credited for a number of major contributions in logic, theory of computation, automata theory and computational complexity. Along is career Dexter received several awards, including an Outstanding Innovation Award from IBM Corporation and the honor of a professorship at The Radboud Excellence Initiative, Radboud University Nijmegen in the Netherlands.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

DataMod 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Ana Cavalcanti<\/strong>
\n\"\" <\/a>Ana Cavalcanti is Professor of Software Verification at York and Royal Academy of Engineering Chair in Emerging Technologies working on Software Engineering for Robotics: modelling, validation, simulation, and testing<\/em>. She held a Royal Society-Wolfson Research Merit Award and a Royal Society Industry Fellowship to work with QinetiQ in avionics. She has chaired the PC of various well-established international conferences, is on the editorial board of four international journals, and is Chair of the board of the FME<\/a> Association. She is, and has been, PI on several large research grants. Her current research is on theory and practice of verification and testing for robotics.<\/td>\n<\/tr>\n
Mieke Massink<\/strong>
\n\"\" <\/a>Mieke Massink received her master’s degree in CS from the University of Nijmegen (NL), in 1988; she received her Laurea in CS from the University of Pisa in 1995 and her PhD degree in CS from the U. Nijmegen in 1996. In 1992 she received the “Dr. I.B.M. Frye Stipend” of the U. Nijmegen for the most promising female PhD researcher. She is currently a researcher in the Formal Methods and Tools lab at CNR-ISTI A. Faedo<\/em>, Italy. Prior to this she held positions at the U. Nijmegen and U. Twente, both in the Netherlands, and in the context of several European projects, the CNR-CNUCE institute, Italy, and the University of York (UK). She has been lecturing at the U. Pisa from 1996 to 1998 and from 2006 to 2009 and at the University of Florence from 2005 to 2017. She is lecturing in the Tuscan PhD program in Smart Computing from 2015; in Feb. 2011 she was Visiting Professor at the MT-Lab, DTU, Copenhagen, DK. Her research interests include the development and application of formal languages for specification and verification of concurrent, safety critical and software intensive systems, including collective adaptive systems which may exhibit emergent behaviour, and HCI related aspects of such systems.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

F-IDE 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Wolfgang Ahrendt<\/strong>
\n\"\" <\/a>Wolfgang Ahrendt is professor at Chalmers University of Technology in Gothenburg, Sweden. He obtained his Ph.D. in Computer Science at the University of Karlsruhe in 2001. His work focuses on topics related to deductive software verification. He is one of the people behind the source code level verification approach and tool called KeY, and co-published the recent ‘KeY book’. Among others, he also worked on compositional verification of distributed objects, on combining static and runtime verification, and lately on smart contract verification. He is PC co-chair of the iFM conference, December 2019.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

FMAS 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Claudio Menghi<\/strong>
\n\"\" <\/a>Claudio Menghi received his BSc and MSc degrees in computer science from the Politecnico di Milano where he later obtained his Ph.D. degree in 2015. From 2017 to 2018, he was a Postdoctoral researcher at the University of Gothenburg and Chalmers. He is now a Research Associate at the University of Luxembourg. His research interests are in the field of formal methods and software engineering, with specific interests in cyber-physical systems, robotics, and formal verification.<\/td>\n<\/tr>\n
Kristin Rozier<\/strong>
\n\"\" <\/a>Prof. Kristin Yvonne Rozier heads the Laboratory for Temporal Logic in Aerospace Engineering at Iowa State University; previously she spent 14 years as a Research Scientist at NASA. She earned her Ph.D. from Rice University and B.S. and M.S. degrees from The College of William and Mary. Her advances in computation for the aerospace domain earned her many awards including: the NSF CAREER Award; the NASA Early Career Faculty Award; American Helicopter Society’s Howard Hughes Award; Women in Aerospace Inaugural Initiative-Inspiration-Impact Award; two NASA Group Achievement Awards; two NASA Superior Accomplishment Awards; Lockheed Martin Space Operations Lightning Award; AIAA’s Intelligent Systems Distinguished Service Award. She is an Associate Fellow of AIAA and a Senior Member of IEEE, ACM, and SWE. Dr. Rozier has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

FMBC 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Ilya Sergey<\/strong>
\n\"\" <\/a>Ilya Sergey is a tenure-track Associate Professor at Yale-NUS College (Singapore), holding a joint appointment with NUS School of Computing. From 2015 to 2018 he was with the CS Dept. of UCL. Prior to joining UCL he was a postdoc at IMDEA Software Institute (2012-2015). From 2008 to 2012 he was RA at the CS Dept. of KU Leuven, where he obtained his PhD. During his doctoral studies he was a visiting PhD fellow at the CS Dept. of Aarhus University and a research intern at the PPT group at MSR Cambridge. He got a MSc degree in Mathematics and CS in 2008 from Dept. of Mathematics and Mechanics of St. Petersburg State University. Before joining academia he worked as a software developer at JetBrains.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

FMIS 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Michael Harrison<\/strong>
\n\"\" <\/a>Michael Harrison is Emeritus Professor and Senior Research Investigator at Newcastle University. He is a visiting researcher at the University of Minho, Portugal. His research focuses on the systematic analysis of the functional behaviour of interactive systems using a combination of model checking and automated theorem proving techniques. Most recently these techniques have been applied to medical devices (particularly infusion pumps and dialysis machines). Another branch of his research is concerned with the use of stochastic modelling techniques to analyse user tasks. Currently the latter aspect of his work is being used in the context of processes involved in managing massive ‘big bleed’ traumas.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

FMTea 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Carroll Morgan<\/strong>
\n\"\" <\/a>Carroll Morgan was at the University of Oxford in the 1980-90’s; since 2000 he has been at the University of New South Wales and in the Trustworthy Systems Group of CSIRO’s Data61 in Sydney. He is the author of Programming from Specifications<\/em> (Prentice-Hall 1990,4,8), of Abstraction, Refinement and Proof for Probabilistic Systems<\/em> (Springer 2005, with Annabelle McIver), and of The Science of Quantitative Information Flow<\/em> (Springer 2019 to appear, one of six authors). His current interest is refinement-based techniques for security-respecting program development, with a particular emphasis on source-level reasoning.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

HFM 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Mark Priestley<\/strong>
\n\"\" <\/a>After a career as a programmer and lecturer in software engineering, Mark Priestley is now an independent scholar of the history and philosophy of computing with a particular interest in the early history of programming. His publications include the books A Science of Operations <\/em>and ENIAC in Action<\/em> (coauthored with Thomas Haigh and Crispin Rope). His most recent book, Routines of Substitution<\/em> (Springer, 2018), is a study of John von Neumann’s work in software development in the mid-1940s. Read more at http:\/\/www.markpriestley.net<\/a>.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

NSAD 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Enea Zaffanella<\/strong>
\n\"\" <\/a>Enea Zaffanella is Associate Professor in Computer Science at the University of Parma (Italy). His research work has been focusing on the development and improvement of abstract domains for static analysis and verification tools, including both symbolic domains (in particular, for the analysis of variable sharing in logic languages) and numeric domains (in particular, efficient representations and algorithms for NNC polyhedra and new widening operators for several polyhedral domains). He has been one of the original founders of BUGSENG (a spin-off of the University of Parma, developing tools for static analysis) and he is one of the main developers of PPL (Parma Polyhedra Library). More recently, he is experimenting new ideas in the PPLite library.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

OVT 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Ana Paiva<\/strong>
\n\"\" <\/a>Ana Paiva is Assistant Professor with Habilitation in the Dept. of Informatics Engineering of the Faculty of Engineering of the University of Porto (FEUP). Also a researcher at INESC TEC in the area of Software Engineering, she obtained her PhD (2007) with her thesis Automated Testing of Graphical User Interface Specification<\/em>, in the context of which she visited Microsoft Research and gave talks on automated GUI testing with Spec Explorer. Ana has researched and published in the area of implementing and automating model-based testing. She is a member of PSTQB (Software Testing Qualification Board<\/em>) and also a member of several ISTQB (International Software Testing Qualification Board<\/em>) working groups.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

OpenCERT 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Andreas Meiszner<\/strong>
\n\"\" <\/a>Dr Andreas Meiszner is a seasoned portfolio worker who worked across a number of sectors and functions. In two of his most recent portfolios he has tutored, mentored and coached beyond 500 professional doctoral students (mid to seniors, aged 35 to 70), first with the University of Liverpool (UK), and since 2016 also with the DoctorateHub. 500+ students imply 500+ workplace-based problems from 500+ organizations from across the globe. This allowed Andreas to understand how to tackle problems at scale, be it the tame, the complex, or the wicked.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

REFINE 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
R\u00e9gine Laleau<\/strong>
\n\"\" <\/a>R\u00e9gine Laleau is professor at Universit\u00e9 Paris-Est Cr\u00e9teil (UPEC) and member of the team Specification and Verification of Systems<\/em> of the LACL (Laboratory of Algorithmic, Complexity and Logic) laboratory. She was head of the LACL from June 2008 to December 2016. She is also associate professor at Universit\u00e9 de Sherbrooke (Qu\u00e9bec). Her research is in the field of formal methods, software engineering and information systems. It includes the coupling of formal methods and semi-formal ones, combination of formal methods for the specification of systems and requirements engineering.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

RPLA 2019<\/a> Invited Speaker<\/h4>\n\n\n\n
Robert Gl\u00fcck<\/strong>
\n\"\" <\/a>Robert Gl\u00fcck is a Professor of Computer Science at the University of Copenhagen. His main research interests are programming languages and software systems. His current research focus is on reversible computing, program generation, and metaprogramming. He has chaired and edited the proceedings of several conferences and workshops in North America, Europe and Asia. Robert Gl\u00fcck has been the principle investigator of a number of research awards and projects. (Robert Gl\u00fcck is kindly sponsored by CMUP\/FCT<\/a>.)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

SASB 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Anne Siegel<\/strong>
\n\"\" <\/a>Anne Siegel is a research director at CNRS, at IRISA, the computer science lab. of Rennes. She is the head of the \u00ab data and knowledge management \u00bb department of the lab. She is a member of the Dyliss group which develops formal methods for the integration of heterogenous data in biology. She started her carreer in mathematics by studying symbolic dynamical systems in tilings before exploring the field of systems biology. Her researches now focus on constraint-based methods to interpret large-scale observations of a molecular system in a dynamical system framework, with applications to marine biology, extremophile microbiology and health.<\/td>\n<\/tr>\n
Miguel Rocha<\/strong>
\n\"\" <\/a>Miguel Rocha is an Associate Professor with Habilitation at the Department of Informatics and a Senior Researcher of the Centre of Biological Engineering, at the University of Minho. He is currently the Director of the Master in Bioinformatics and elected member of the Scientific Council of the School of Engineering. He has a background in computer science, a PhD thesis in machine learning, and a vast curriculum in Machine Learning and Bioinformatics\/ Systems Biology, including 180+ publications in peer-reviewed journals\/conferences (ORCID: 0000-0001-8439-8172), 7 projects as a PI, and a patent application. He has supervised 12 PhD and 50+ MSc students. He is responsible for several curricular units related to Bioinformatics, Machine Learning\/ Data Mining and programming, in both first degree, master and doctoral courses.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

TAPAS 2019<\/a> Invited Speakers<\/h4>\n\n\n\n\n
Bernard Schmidt<\/strong>
\n\"\" <\/a>Bernard Schmidt is a research engineer in the Verification and Validation Group in Corporate Research at Robert Bosch GmbH. He works on static code analysis and formal methods and incorporating them into industrial development processes. He joined Bosch in 2014. Before he worked for 7 years on formal verification of hardware dependent software at the University of Kaiserslautern. He holds a Dipl.-Ing. degree in computer engineering where he first met the topic of formal verification of digital hardware.<\/td>\n<\/tr>\n
Pascal Lacabanne<\/strong>
\n\"\" <\/a>Pascal Lacabanne is an avionics software engineer at Airbus. He is a member of the software engineering team responsible for defining and supporting the methods and tools used by internal operational avionics software development teams. He is currently in charge of the deployment of static analysis tools into the latest industrial development processes. He joined Airbus in 2016. Before that, he has been working for 4 years on operational research at ifrSKEYES, a software company developing aircraft maintenance solutions. As a first experience, he has been working for 3 years on computational fluid dynamics based on lattice Boltzmann methods at CS, an IT service company.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

  FM 2019 Invited Speakers Erik Poll Erik Poll is Associate Professor at the Digital Security group at Radboud University in Nijmegen. Here he has carried out applied security research …<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/1044"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=1044"}],"version-history":[{"count":85,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/1044\/revisions"}],"predecessor-version":[{"id":3499,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/1044\/revisions\/3499"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=1044"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}