Machine Learning and Formal Methods

• S. Akshay (Indian Institute of Technology – Mumbai, IN) [dblp]
• Dalal Alrajeh (Imperial College London, GB) [dblp]
• Rajeev Alur (University of Pennsylvania – Philadelphia, US) [dblp]
• Nikolay A. Atanasov (University of California at San Diego, US) [dblp]
• Ammar Ben Khadra (TU Kaiserslautern, DE)
• Felix Berkenkamp (ETH Zürich, CH) [dblp]
• Ben Caulfield (University of California – Berkeley, US)
• Swarat Chaudhuri (Rice University – Houston, US) [dblp]
• Luc De Raedt (KU Leuven, BE) [dblp]
• Jyotirmoy Deshmukh (USC – Los Angeles, US) [dblp]
• Dana Fisman (Ben Gurion University – Beer Sheva, IL) [dblp]
• Pranav Garg (Amazon – Bangalore, IN) [dblp]
• Matthias Hein (Universität des Saarlandes, DE) [dblp]
• Holger Hermanns (Universität des Saarlandes, DE) [dblp]
• Susmit Jha (SRI – Menlo Park, US) [dblp]
• Kristian Kersting (TU Darmstadt, DE) [dblp]
• Andreas Krause (ETH Zürich, CH) [dblp]
• Sasa Misailovic (University of Illinois – Urbana-Champaign, US) [dblp]
• Mayur Naik (University of Pennsylvania – Philadelphia, US) [dblp]
• Nagarajan Natarajan (Microsoft Research India – Bangalore, IN) [dblp]
• Anna Rafferty (Carleton College – Northfield, US)
• Dorsa Sadigh (Stanford University, US) [dblp]
• Stephan Schulz (Duale Hochschule Baden-Württemberg – Stuttgart, DE) [dblp]
• Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
• Rishabh Singh (Microsoft Research – Redmond, US) [dblp]
• Armando Solar-Lezama (MIT – Cambridge, US) [dblp]
• Charles Sutton (University of Edinburgh, GB) [dblp]
• Josef Urban (Czech Technical University – Prague, CZ) [dblp]
• Martin Vechev (ETH Zürich, CH) [dblp]
• Eran Yahav (Technion – Haifa, IL) [dblp]
• Yisong Yue (California Institute of Technology – Pasadena, US) [dblp]
• Xiaojin Zhu (University of Wisconsin – Madison, US) [dblp]
• Sandra Zilles (University of Regina, CA) [dblp]

In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner