MEET THE BOARD

Sanjiva Prasad is Professor and Head of the Department of Computer Science and Engineering at the Indian Institute of Technology (IIT) Delhi. His research interests include formal methods, programming languages and their semantics, network security, computational biology and medical applications of computing.

He was the Coordinator of the Amar Nath and Shashi Khosla School of Information Technology at IIT Delhi from 2011 to 2015. Prior to IIT Delhi, Prasad worked at the European Computer-Industry Research Centre (ECRC GmbH) in Munich, and at Odyssey Research Associates (ORA Corporation) in Ithaca, New York. He was a visiting Lektor at BRICS, Aarhus University from 1998 to 1999. His PhD is from Stony Brook University, New York, and he earned a BTech in Computer Science and Engineering from the Indian Institute of Technology Kanpur.

Gilles Barthe is a scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and a research professor at IMDEA Software Institute, Madrid, Spain. His research interests include programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic. His main current interests are (relational) program verification and high-assurance cryptography. He received his Ph.D. in Mathematics from the University of Manchester, UK, and an Habilitation à diriger les recherches in Computer Science from the University of Nice, France.

Michel Beaudouin-Lafon is Professor of Computer Science at Université Paris-Sud (France) and a senior member of Institut Universitaire de France. He was director of LRI, the laboratory for computer science at Université Paris-Sud (280 faculty, staff, and PhD students) for eight years, then spent two years as visiting professor at Stanford University. Michel has worked in human-computer interaction (HCI) for over 20 years and was elected to the ACM SIGCHI Academy in 2006. His research interests include fundamental aspects of interaction, engineering of interactive systems, computer-supported cooperative work and novel interaction techniques. He works in the In Situ group, a joint lab between LRI and INRIA (http://insitu.lri.fr), and is directing the 22M€ Digiscope project. Michel has advised twenty Ph.D. students, sits on several journal editorial boards and on many program committees. He was the technical co-chair for the ACM CHI 2013 conference in Paris. He founded AFIHM, the Francophone association for human-computer interaction. He is a member of the ACM Europe Council and was a member of the ACM Council and the ACM Publications Board.

Web: http://www.lri.fr/~mbl

Charles Clarke is a Professor in the School of Computer Science at the University of Waterloo, Canada.His research interests include information retrieval, web search, social media search, and text data mining.He has published on a wide range of topics, including papers related to question answering, XML, filesystem search, user interfaces, statistical natural language processing, and the evaluation of information retrieval systems.In addition, he has held a number of software development and consulting positions across industry. From 2013 to 2016 he was the Chair of ACM SIGIR. He is a co-author of the book Information Retrieval: Implementing and Evaluating Search Engines, MIT Press, 2010.

Véronique Cortier is CNRS research director at Loria (Nancy, France). Her research focuses on formal verification of security protocols, in particular e-voting, using formal techniques or provable security. She received her Ph.D. degree in Computer Science from the École Normale Supérieure de Cachan, from which she graduated.

She is member of the editorial member of TOPS and of the steering committee of Esorics. In 2010, she was awarded an ERC starting grant. She received the silver CNRS medal as well as the INRIA - Académie des Sciences young researcher award. She co-authored a book on electronic voting for the general audience (Odile Jacob, 2022).

Rajesh K. Gupta serves as a founding director of the Halıcıoğlu Data Science Institute and as a distinguished professor of Computer Science and Engineering at UC San Diego. Professor Gupta's research is in embedded and cyber-physical systems with a focus on sensor data organization and its use in optimization and analytics. Earlier he served as Editor-in-chief of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Design and Test of Computers and Founding EIC of IEEE Embedded Systems Letters. Prof. Gupta holds Qualcomm Endowed Chair in Embedded Microsystems at UC San Diego and INRIA International Chair at the French international research institute in Rennes, Bretagne Atlantique. He is a Fellow of the IEEE, the ACM and the American Association for the Advancement of Science (AAAS).

Jayant Haritsa is on the computer science faculty of the Indian Institute of Science, Bangalore, since 1993. He received a BTech degree from the Indian Institute of Technology (Madras), and MS and PhD degrees from the University of Wisconsin (Madison). He is a Fellow of ACM and IEEE for his contributions to the design and implementation of database engines. In India, he is a Fellow of all four science and engineering academies, and a recipient of the Swarnajayanti Fellowship, the Shanti Swarup Bhatnagar Award, and the Infosys Prize. During 2020-22, he served as the President of ACM India.

Y. Annie Liu is Professor of Computer Science at Stony Brook University. Her primary research is in languages and algorithms, especially on systematic methods for design and optimization. The methods are centered around incrementalization---the discrete counterpart of differentiation in calculus. Besides research and service, she also enjoys teaching. She has taught in a wide range of Computer Science areas, and presented over 100 conference and invited talks worldwide. She received her BS from Peking University, MEng from Tsinghua University, and PhD from Cornell University, all in Computer Science.

Annie Liu's Design and Analysis Research Laboratory has projects in modeling and specification, analysis and verification, design and optimization, code generation, and testing. These projects are for optimizing compilers, interactive environments, real-time and embedded systems, database systems, semantic Web, distributed systems, big data analysis, security, and more. Her awards include a State University of New York Chancellor's Award for Excellence in Scholarship and Creative Activities.

Shixia Liu is a professor at Tsinghua University. Her research interests include Human-centered AI, visualization, and HCI. Shixia was elevated to an IEEE Fellow in 2021 and induced into IEEE Visualization Academy in 2020. She is an associate editor-in-chief of IEEE Transactions on Visualization and Computer Graphics and is/was an associate editor of Artificial Intelligence, IEEE Transactions on Big Data, and ACM Transactions on Intelligent Systems and Technology. She was one of the Papers Co-Chairs of IEEE VIS 2016 and 2017 and is in the steering committee of IEEE VIS (2020-2023). She is the chair of the VGTC Visualization Significant New Researcher selection committee. She received IEEE Visualization Technical Achievement Award and was honored as Forbes China Top 50 Women Tech Leaders in 2022, as well as 6 best paper awards or honorable mentions (CHI 2025, VIS 2024, 2021, 2020, 2014, CIKM 2019).

Meena Mahajan is a professor in the theoretical computer science group at The Institute of Mathematical Sciences, HBNI, Chennai, India, which she joined in 1994. She obtained her bachelor's and master's degrees from the department of computer science and engineering at IIT Bombay in 1986 and 1988, and her PhD degree from IIT Madras in 1993. Her research interests encompass many aspects of computational complexity theory, including Boolean function complexity, algebraic circuits, proof complexity, and space bounded computation.

Meena is a Fellow of the Indian Academy of Sciences(2022). She is currently an editor of the journal Logical Methods in Computer Science LMCS. She is also currently a member of the editorial board of the Leibniz International Proceedings in Informatics LIPIcs, the advisory board of the journal TheoretiCS , the executive council of the Indian Association for Research in Computer Science IARCS, and the board of trustees of the Computational Complexity Foundation, and has served on several conference program committees as well as award committees.

Dinesh Manocha is currently the Paul Chrisman Iribe Chair of Computer Science and Electrical & Computer Engineering at the University of Maryland at College Park. Earlier he was the Matthew Mason/Phi Delta Theta Distinguished Professor of Computer Science at the University of North Carolina at Chapel Hill. He co-leads a major research group with more than 20 members on geometric and simulation algorithms with applications to computer graphics, robotics and virtual environments. He has published more than 500 papers in the leading conferences and journals in computer graphics, robotics, computational geometry, databases, multimedia, high performance computing and symbolic computation, and received 16 best paper and time of test awards. He has also served as program committee member or program chair of more than 120 leading conferences in these areas. Moreover, he has given more than 110 invited or keynote talks at conferences and distinguished lectures at other institutions. Manocha has served as a member of the editorial board or guest editor of eleven leading journals in computer graphics, robotics, geometry processing and scientific computing. He is a co-inventor of 9 patents, several of which have been licensed to industry. He has won many awards including NSF Career Award, ONR Young Investigator Award, Sloan Fellowship, IBM Fellowship, SIGMOD IndySort Winner, Honda Research Award, UNC Hettleman Prize, etc. He is a Fellow of ACM, AAAS, AAAI, and IEEE, and received Distinguished Alumni Award from Indian Institute of Technology, Delhi.

Manocha has supervised 40 Ph.D. students. His research group has developed many well-known software packages for collision detection, triangulation, GPU-based algorithms, multi-agent simulation, texture compression, solid modeling, solving algebraic systems, etc. These packages have been downloaded by more than 200,000 users worldwide and licensed to more than 60 industrial organizations including Intel, Microsoft, Disney, Ford, Kawasaki, Siemens, Phillips Labs, MSC Software, Lockheed Martin, Raytheon etc. His group has actively collaborated with many industrial organizations including AMD/ATI, ARA, Boeing, Disney, Dolby, Google, Lockheed, Intel, Microsoft, NVIDIA, Oculus, SAIC, Willow Garage, Samsung, etc. Manocha’s research has been supported by ARO, Boeing, DARPA, IARPA, NASA, NIH, NRL, NSF, ONR, RDECOM, and many industrial partners; he has served as a Principal Investigator or Co-Principal Investigator on more than 70 grants. He was a co-founder of Impulsonic, a developer of physics-based audio simulation technologies, which was acquired by Valve Inc in November 2016. The Phonon technology developed by UNC/Impulsonic has been widely released as Steam Audio SDK.

Thomas J. Misa directs the Charles Babbage Institute at the University of Minnesota, where he is a faculty member in the Department of Electrical and Computer Engineering and in the Program for the History of Science, Technology, and Medicine. His recent books include _Gender Codes: Why Women Are Leaving Computing_ (Wiley 2010) and _Digital State: The Story of Minnesota's Computing Industry_ (Minnesota 2013).

Mohamed F. Mokbel (Ph.D., Purdue University, MS, B.Sc., Alexandria University) is an associate professor in the Department of Computer Science and Engineering, University of Minnesota. His current research interests focus on providing database and platform support for spatio-temporal data, location based services, personalization, and recommender systems. His research work has been recognized by four best paper awards at IEEE MASS 2008, IEEE MDM 2009, SSTD 2011, and ACM MobiGIS Workshop 2012, and by the NSF CAREER award 2010. Mohamed is/was general co-chair of SSTD 2011, program co-chair of ACM SIGSPAITAL GIS 2008-2010, and MDM 2014, 2011. He has served in the editorial board of IEEE Data Engineering Bulletin, Distributed and Parallel Databases Journal, and Journal of Spatial Information Science. Mohamed is an ACM and IEEE member and a founding member of ACM SIGSPATIAL. For more information, please visit: www.cs.umn.edu/~mokbel

Seffi Naor received his MSc (cum laude) in 1983 and PhD in 1987, both in computer science, from the Hebrew University of Jerusalem. He is currently a professor of computer science at the Technion, where he has been on the faculty since 1991. Prior to that, he was a postdoctoral fellow at the University of Southern California and at Stanford University. During 1998-2000 he was a member of the technical staff at Bell Laboratories, Lucent Technologies. During 2005-2007, he was a visiting researcher at Microsoft Research. Naor's research interests are mainly in the design and analysis of efficient algorithms, in particular approximation algorithms for NP-Hard algorithms and online algorithms, algorithmic game theory, and complexity theory. Naor has published over 150 papers in top professional journals and conferences. He is currently on the editorial board of the ACM Transactions on Algorithms and has been on the editorial board of Algorithmica and Journal of Discrete Algorithms.

Tobias Nipkow is a professor and chair for Logic and Verification at the Technical University of Munich, Germany. His research interests include theorem proving, programming languages and program verification, functional programming and mathematical logic. He is one of the developers of the interactive theorem prover Isabelle. He received his MSc from the Technical University Darmstadt, Germany, and his PhD from the University of Manchester, UK, both in Computer Science.

Bashar Nuseibeh is professor of computing at The Open University, UK, where he served as Director of Research in Computing (2002-2008), and a professor of software engineering at Lero - The Irish Software Engineering Research Centre, where he served as its Chief Scientist (2009-2012). He is also a visiting professor at Imperial College London and the National Institute of Informatics, Japan. His research interests in software engineering include the relationship between requirements and design, security and privacy, and technology transfer. He holds a European Research Council Advanced Grant (2012-2017) and a Royal Society-Wolfson Merit Award (2013-2018), both focusing on "Adaptive Security and Privacy". His past research has been recognised through various awards including a Philip Leverhume Prize (2002), an ICSE Most Influential Paper (2003), a Senior Research Fellowship of the Royal Academy of Engineering (2005), an Automated Software Engineering Fellowship (2007), a Microsoft Research Award (2011), and a collection of "best" papers, posters, videos and software tools. Professionally he has served as Chair of the steering committee of the ACM/IEEE International Conference on Software Engineering, Chair of IFIP Working Group 2.9 (on requirements engineering), and is currently Editor-in-Chief of IEEE Transactions on Software Engineering and Editor Emeritus of the Automated Software Engineering Journal.

M. Tamer Özsu is the founding ACM Books Editor-in-Chief and served until April 2019. He is Professor of Computer Science at the David R. Cheriton School of Computer Science of the University of Waterloo. He was the Director of the Cheriton School from January 2007 to June 2010. Previously he was with the Department of Computing Science of the University of Alberta (1984 - 2000). His PhD is from the Ohio State University.

His research is on data management following two threads: large-scale data distribution, and management of non-traditional data (i.e., non-relational data). Currently, his research focus is on graph data and RDF data. Previously his research focus was on object systems, image, video, XML data, and their management in a distributed environment.

He is the co-author (with Patrick Valduriez) of the classical book Principles of Distributed Database Systems, which is now in its third edition. He has also edited, with Ling Liu, the Encyclopedia of Database Systems.

Tamer is a Fellow of the Association for Computing Machinery (ACM), and of the Institute of Electrical and Electronics Engineers (IEEE), and a member of Sigma Xi. He currently holds a Cheriton Faculty Fellowhsip. He has been an ACM Distinguished Lecturer since 2007. He has held a University Research Chair (2004-2011) and a Faculty Research Fellowship (2000 - 2003) at the University of Waterloo, and a McCalla Research Professorship (1993-1994) at the University of Alberta. He was awarded the ACM SIGMOD Contributions Award in 2006, and The Ohio State University College of Engineering Distinguished Alumnus Award in 2008.

He serves on the Association for Computing Machinery’s (ACM) Publications Board as Vice Chair for New Publications. Previously, he was the Chair of ACM Special Interest Group on Management of Data (SIGMOD; 2001-2005) and a trustee of the VLDB Endowment (1996-2002). He is the Series Editor of Synthesis Lectures on Data Management (Morgan & Claypool) and is on the editorial boards of three journals, and a book Series. He also serves on a number of boards including the International Advisory Board of National Institute of Informatics (NII) of Japan, Advisory Committee of School of Engineering of Hong Kong University of Science and Technology, and Advisory Committee of the Department of Computer Science and Engineering of Hong Kong University of Science and Technology. He has served as the Program Chair and General Chair of a number of international conferences including SIGMOD, VLDB, and ICDE.

Lawrence Rauchwerger is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He received an Engineer degree from the Polytechnic Institute Bucharest, a M.S. in Electrical Engineering from Stanford University and a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. Previously, he was the Eppright Professor of Computer Science and Engineering at Texas A&M University and the co-Director of the Parasol Lab. He has held Visiting Faculty positions at the University of Illinois, Bell Labs, IBM T.J. Watson, and INRIA, Paris.

Rauchwerger's approach to auto-parallelization, thread-level speculation and parallel code development has influenced industrial products at corporations like IBM, Intel and Sun. Rauchwerger is an IEEE Fellow, an NSF CAREER award recipient and has chaired various IEEE and ACM conferences.

Jiliang Tang is an associate professor (assistant professor, 2016-2021) in the computer science and engineering department at Michigan State University. Before that, he was a research scientist in Yahoo Research. He got his PhD from Arizona State University in 2015 under Dr. Huan Liu and MS and BE from Beijing Institute of Technology in 2010 and 2008, respectively. His research interests include social computing, data mining and machine learning and their applications in education. He was the recipient of 2021 IEEE Big Data Security Junior Research Award, 2020 ACM SIGKDD Rising Star Award, 2020 Distinguished Withrow Research Award, 2019 NSF Career Award, and 7 best paper awards (or runner-ups) including WSDM2018 and KDD2016. His dissertation won the 2015 KDD Best Dissertation runner up and Dean's Dissertation Award. He serves as conference organizers (e.g., KDD, SIGIR, WSDM and SDM) and journal editors (e.g., TKDD and ACM Books). He has published his research in highly ranked journals and top conference proceedings, which have received tens of thousands of citations with h-index 65 (Google Scholar) and extensive media coverage.

Suhang Wang is an Assistant Professor with the College of Information Sciences and Technology at Penn State University - University Park. He obtained his Ph.D. in Computer Science from Arizona State University and received his BS degree in ECE from Shanghai Jiao Tong University and MS degree in EE:System from University of Michigan, Ann Arbor. His research interests are machine learning, data mining and social media mining.

Limsoon Wong is KITHCT Professor of Computer Science and Professor of Pathology at the National University of Singapore. He currently works mainly on knowledge discovery technologies their application to biomedicine. He serves/served on the editorial boards of Information Systems, Journal of Bioinformatics and Computational Biology, Bioinformatics, Biology Direct, IEEE/ACM Transactions on Computational Biology and Bioinformatics, Drug Discovery Today, Journal of Biomedical Semantics, and Methods. He received his BSc(Eng) in 1988 from Imperial College London and his PhD in 1994 from University of Pennsylvania.