جست‌وجوی استاد و پژوهشگر

Naisyin Wangمشاهده پروفایل

استاد

• Longitudinal Data Analysis
• Functional Data Analysis
• Biostatistics
• +۵ مورد دیگر

Naisyin Wang is a Professor of Statistics at the University of Michigan, where she has been since 2009. Previously, she served as a faculty member in Statistics and Toxicology at Texas A&M University from 1992. She holds a Ph.D. in Statistics from Cornell University (1992), an M.A. in Statistics from Ohio State University (1987), and a B.S. in Mathematics from National Tsing-Hua University, Taiwan (1986). Her research focuses on longitudinal and functional data analysis, measurement error models, semiparametric methods, and applications in biological and medical fields, particularly genomics and metabolomics. Key contributions include methodologies for handling missing data, mixed effects models, and clustering techniques. Education: Ph.D. in Statistics, Cornell University (1992) M.A. in Statistics, Ohio State University (1987) B.S. in Mathematics, National Tsing-Hua University (1986) Dr. Wang’s honors include the College of Science Distinguished Alumni Award (2012), the Distinguished Achievement Award in Research (2003), and fellowships from the AAAS, ASA, and IMS. She has held leadership roles, including Co-editor of Statistica Sinica (2011–2014) and President of the International Chinese Statistical Association (2010). Her teaching includes courses such as Applied Statistics (STATS 500), Linear Models (STATS 600), and Special Topics in Applied Statistics (STATS 700). She has advised numerous students and contributed to research on cancer genomics, dietary interventions, and statistical methodology.

Chang Louمشاهده پروفایل

استادیار

• Distributed Systems
• Operating Systems
• Cloud Computing
• +۴ مورد دیگر

Chang Lou is an Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on distributed systems, operating systems, and cloud computing, emphasizing runtime assurance and failure detection. He leads LiftLab, a reading group exploring cutting-edge system research. Education : Ph.D., Computer Science, Johns Hopkins University (2023); B.S., Computer Science, Shanghai Jiao Tong University (2016). Research : Develops techniques to improve system reliability, including silent failure detection, memory leak mitigation, and formal verification. His work has been deployed at Microsoft Azure and recognized with awards like NSDI Best Paper (2020). Teaching : Offers courses like CS4740 (Cloud Computing) and CS6501 (Cloud System Reliability). Awards : NSF CAREER Award (2024), ACM SIGOPS Dissertation Honorable Mention (2023), Google Cloud Grant (2023). Service : Serves on program committees for NSDI, EuroSys, and SOSP. Co-organizes workshops like SIGCOMM Formal Methods x Networks.

Joseph Sifakisمشاهده پروفایل

پژوهشگر

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

Rosemary Monahanمشاهده پروفایل

استاد

• Software Verification
• Dependable Software Systems
• Formal Methods
• +۳ مورد دیگر

Rosemary Monahan is a Professor in the Department of Computer Science at Maynooth University and an affiliate of the Hamilton Institute. She holds BSc and MSc degrees from University College Dublin and a PhD from Dublin City University. As Maynooth University's institutional lead for ADAPT (SFI Research Centre for AI-Driven Digital Content Technology), she focuses on advancing software dependability through formal methods and AI integration. Her research interests include safety-critical systems, dependable software, formal verification, and computational thinking education. She co-founded the VerifyThis competition series and leads projects such as MAIVV (Modular AI Verification and Visualisation) funded by SFI, and VALU3S (Verification and Validation of Automated Systems) funded by Horizon 2020. She has secured over €2.5M in EU funding for the Erasmus Mundus programs in dependable software systems. Monahan’s educational contributions include pioneering computational thinking resources (CoCoA and InSPECT projects) and teaching modules on software verification and rigorous software processes. She supervises PhD students in data science and advanced networks and collaborates with institutions like INRIA, Microsoft Research, and Amazon Web Services. Her professional roles include editorships in journals like Science of Computer Programming and leadership in conferences like iFM and FMICS. She actively promotes gender equality in computing through initiatives like INGENIC and TechMate toolkits.

Mingsheng Yingمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +۵ مورد دیگر

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

• Software Engineering
• Deep Learning
• Human-Computer Interaction
• +۷ مورد دیگر

Prof. Dr. Chunyang Chen is a full professor in the Department of Computer Science at the Technical University of Munich (TUM) in Heilbronn, Germany, and an adjunct professor at Monash University, Australia. He is a core member of the Munich Data Science Institute, board member of Heilbronn Data Science Center, and fellow at Fortiss. His research spans Software Engineering, Deep Learning, and Human-Computer Interaction (HCI), focusing on AI/ML, NLP, and program analysis applications. PhD from Nanyang Technological University (NTU), Singapore His research explores three primary domains: AI-Driven Mobile App Development : Focused on requirement elicitation, UI design, code generation, and GUI testing using LLMs, NLP, and lightweight program analysis. Software Repository Mining : Involves library/API migration, collaborative editing, query reformulation, and thesaurus construction. Deep Learning Security : Examines robustness and security in mobile apps, including on-device model attacks, backdoor attacks, phishing attacks, and defense mechanisms. His recent publications highlight trends in LLM applications for software testing, bug replay, accessibility, and dataset construction. Awards include Best Paper Honorable Mention at CHI 2024, DECRA, ACM SIGSOFT Early Career Award, multiple Distinguished Paper Awards, and the Chinese Government Award for Outstanding Self-financed Students Abroad. PhD students: Shengcheng Yu, Yanqi Su, Mark Huasong Meng, Wenchao Gu, Zhen Tao, Kai Huang, Sidong Feng, Yujin Huang, Jian Gu Master/Bachelor students: Dustin Minh Duc Vu, Jason Siu, Ruiqi Dong, Minh Nguyen, An-Chieh Chang, Chao Wu, Yujin Huang, Ishan Joshi, Xinyan Li Chunyang Chen has supervised numerous students across institutions including TUM, Monash University, Chinese Academy of Sciences, ANU, and others. His teaching portfolio includes courses on Generative AI, software engineering, and programming foundations. He actively contributes to academic service as a guest editor, program committee member, and reviewer for top-tier conferences and journals.

Ying Caiمشاهده پروفایل

دانشیار

• AI
• Machine Learning
• Data Science
• +۴ مورد دیگر

Ying Cai is an Associate Professor in the Department of Computer Science at Iowa State University, joining in 2003 after earning his Ph.D. in Computer Science from the University of Central Florida (2002). His research focuses on AI, machine learning, data science, cybersecurity, privacy protection, and database systems. He leads projects funded by the Air Force Research Laboratory, including work on authentication data structures for rank-aware queries, requiring U.S. citizenship and expertise in linear algebra/cryptography. Dr. Cai’s work spans cybersecurity (e.g., adversarial example defense, secure secret sharing), spatio-temporal systems (e.g., traffic risk prediction, check-in time modeling), and healthcare AI (e.g., cervical spine diagnosis with transformers). His publications emphasize practical applications of ML in privacy, security, and distributed systems. Professional roles include Associate Editor for Multimedia Tools and Applications (since 2009), Co-chair for COMPSAC TAIN/NCIW symposium (2014–2017), and TPC Chair for Mobilware 2010. His service includes contributions to INFOCOM, ICDCS, and MDM conferences. Current research opportunities exist for graduate students with strong programming/math skills, particularly in cryptography and linear algebra. He emphasizes interdisciplinary work, such as bridging AI with social sciences via large language models.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +۷ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

• Algorithms
• Game Theory
• Automata Theory
• +۷ مورد دیگر

Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick , UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups. University: University of Warwick School: Faculty of Science Department: Department of Computer Science Position: Associate Professor (Reader) Email: Marcin.Jurdzinski@warwick.ac.uk Office: CS2.19 His research lies at the intersection of algorithms, game theory, automata, and logic , with a strong emphasis on formal verification , model checking , and theoretical computer science . He is best known for his foundational work on parity games , including the development of small progress measures and discrete strategy improvement algorithms. The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis . His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems. He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis . PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi Postdocs: Laure Daviaud, Alexander Kozachinskiy He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.

Nicholas Diasمشاهده پروفایل

پژوهشگر

• Political Science
• Public Opinion
• Political Psychology
• +۴ مورد دیگر

Nicholas Dias is a postdoctoral researcher at the Department of Political Science, Aarhus University. His work focuses on public opinion, political psychology, and the dynamics of democratic systems. Research examines citizen competence, polarization, and misinformation Teaching includes seminars on American politics and data science Contact: niccdias@ps.au.dk Research Trends: Dias’s publications analyze how citizens engage with democracy, polarization’s impact on governance, and misinformation mitigation. His work challenges assumptions about voter rationality and explores the limits of correcting partisan misperceptions. Collaborations: Co-authored studies with scholars like Y. Lelkes and A. Sippitt, published in journals such as Journal of Politics , PNAS Nexus , and Political Quarterly .

• Operations Management
• Manufacturing Systems
• Supply Chain Management
• +۵ مورد دیگر

Sunder Kekre is the Vasantrao Dempo Professor of Operations Management at Carnegie Mellon University’s Tepper School of Business , where he has held academic appointments since 1984. His research focuses on manufacturing systems, global supply chains, and healthcare operations management. Research Expertise : New product development structures, strategic costing, lean innovation, knowledge sharing in enterprise networks, and business analytics for coordinated supply chains. Key Publications : Contributions to journals like Management Science , Operations Research , and Production and Operations Management , with work on LNG storage valuation, RFID logistics, and healthcare disparities. Scientific Recognition : Dempo Chair Professorship Bosch Chair Professorship Best Paper Award (1995) Teaching : Courses in Operations Management, Strategic Management of the Enterprise, and Information Systems Project. Non-Academic Experience : Prior engineering roles at Tata Steel (1974-1980) and consulting engagements with Fortune 500 firms like Bosch, Caterpillar, and IBM.

James T. Hamiltonمشاهده پروفایل

استاد

• Media Economics
• Journalism
• Computational Journalism
• +۳ مورد دیگر

James T. Hamilton is the Vice Provost for Undergraduate Education and Hearst Professor of Communication at Stanford University, where he also directs the Stanford Journalism Program. He previously taught at Duke University’s Sanford School of Public Policy and led the De Witt Wallace Center for Media and Democracy. His academic career spans over three decades, with a focus on media economics, investigative journalism, and environmental policy. Hamilton holds a B.A. (summa cum laude) and Ph.D. in Economics from Harvard University. His research explores how markets shape news content, the economics of investigative reporting, and the societal impact of information access. He co-founded the Stanford Computational Journalism Lab and is a Senior Fellow at the Stanford Institute for Economic Policy Research. His work emphasizes computational tools to enhance journalism’s accountability role, including automated fact-checking and data-driven story discovery. Key contributions include groundbreaking books like Democracy's Detectives (2016) and All the News That’s Fit to Sell (2004), which analyze media markets and transparency policies. Scientific Awards: David N Kershaw Award, Goldsmith Book Prize (twice), Frank Luther Mott Research Award (twice), Tankard Book Award Teaching Honors: Allyn Young Prize, Trinity College Distinguished Teaching Award, Susan Tifft Mentoring Award His current research addresses digital inequality, the psychological effects of online financial ads, and algorithmic transparency in journalism. He advises on media innovation through affiliations with the Brown Institute for Media Innovation and the JSK Fellowships Board.

• Machine Learning
• Artificial Intelligence
• Explainability of AI
• +۳ مورد دیگر

Carlos Guestrin is the Fortinet Founders Professor of Computer Science at Stanford University and serves as Director of the Stanford AI Lab (SAIL) and Senior Fellow at the Institute for Human-Centered AI (HAI). He holds dual roles as Chief Scientist at Visual Layer and Virtue AI. His research focuses on machine learning methods, explainability, fairness, and ethics of AI, alongside systems for scalable AI deployment. Education details are not explicitly provided, but his work spans foundational contributions to machine learning systems (e.g., XGBoost) and explainable AI frameworks like Anchors and LIME. He emphasizes ethical AI through projects like CheckList for model testing and Model Equality Testing for API transparency. His scientific contributions include advancing optimization techniques (AdaScale SGD, TVM compiler) and ethical benchmarks for generative AI. He has been recognized as a Member of the National Academy of Engineering for his transformative impact on AI systems and their societal applications. Guestrin leads interdisciplinary initiatives at SAIL and HAI, fostering collaboration between technical innovation and human-centered design. His work bridges theory and practice, addressing challenges in healthcare (diabetes management systems) and AI security.

Valérie Berthéمشاهده پروفایل

پژوهشگر

• Symbolic Dynamics
• Combinatorics on Words
• Discrete Geometry
• +۹ مورد دیگر

Valérie Berthé is a Research Director at CNRS, based at the Institut de Recherche en Informatique Fondamentale (IRIF), Université Paris Cité. Her research lies at the crossroads of theoretical computer science and mathematics, with a focus on symbolic dynamics, combinatorics on words, discrete geometry, and numeration systems. She is a Principal Investigator of the prestigious ERC Synergy project DynAMICs, which unites experts from mathematics and computer science to tackle fundamental problems in dynamical systems and model checking. Research Interests: Her primary research areas include symbolic dynamics, combinatorics on words, discrete geometry, tilings, aperiodic order, continued fractions, and their connections to number theory and automata. She is particularly interested in the algorithmic and arithmetic aspects of dynamical systems, aiming to develop automated verification methods and resolve open conjectures such as the Skolem problem on reachability. Scientific Leadership: She leads a major collaborative research program and is involved in significant national and international projects. Grants & Projects: ERC Synergy Grant: DynAMICs (Model checking seen from a dynamic and arithmetic point of view) ANR PRCI: SymDynAr (2024–2027) ANR Blanc: CODYS (2018) Academic Service: Member, CNRS National Committee, Section 6 Member, Steering Committee of INSMI (Institut national des sciences mathématiques et de leurs interactions) Member, Scientific Council of the Société Mathématique de France (SMF) Advising and Editorial Work: Valérie Berthé has supervised numerous PhD students who have gone on to successful academic careers. She is a co-editor of several influential volumes in her field, including works published by Cambridge University Press and Birkhäuser, covering topics in sequences, automata, number theory, and symbolic dynamics. She is also involved in organizing scientific events and seminars, such as the One World Numeration Seminar, fostering international collaboration in her research community.

Manfred Drosteمشاهده پروفایل

استاد

• Theoretical Computer Science
• Automata Theory
• Logic
• +۶ مورد دیگر

Manfred Droste is a Professor at the Institute of Computer Science of the University of Leipzig, where he leads the Research Group on Automata and Formal Languages. He serves as Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences and is Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata. His academic career spans decades of research and leadership in theoretical computer science and algebra. Prof. Droste's research focuses on theoretical computer science, particularly automata theory, logic, algebraic models for concurrent systems, and domain theory. In algebra, his interests include model theory, automorphism groups, and ordered algebraic structures. His work bridges theoretical foundations with practical applications in formal language theory and quantitative systems. His extensive publication record demonstrates a consistent focus on weighted automata, formal languages, and their logical characterizations. Over the years, his research has evolved to address increasingly complex quantitative models, with recent work focusing on weighted complexity classes, weighted linear dynamic logic, and decidability boundaries for weighted automata. Prof. Droste has received significant recognition including election to Academia Europaea, an honorary doctorate from Immanuel Kant Baltic Federal University, and fellowship in the Asia-Pacific Artificial Intelligence Association. These honors reflect his substantial contributions to theoretical computer science. He has supervised numerous PhD students including Dietrich Kuske, Paolo Boldi, and Karin Quaas, many of whom have become prominent researchers. His extensive grant portfolio includes multiple DFG projects on weighted automata and international collaborations through DAAD funding. Prof. Droste leads a vibrant research team including Andrea Hesse, Karin Quaas, Erik Paul, and others. He has organized the international workshop series "Weighted Automata: Theory and Applications" since 2002, fostering global collaboration in this specialized field.