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

Chen Liuمشاهده پروفایل

استادیار

• Machine Learning
• Adversarial Robustness
• Privacy-Preserving Machine Learning
• +۹ مورد دیگر

Chen Liu is an Assistant Professor in the Department of Computer Science at City University of Hong Kong and the Principal Investigator (PI) of the Machine Learning and Optimization (MLO) group. His research focuses on building reliable machine learning models, particularly studying robustness and privacy properties of deep neural networks from an optimization perspective. University: City University of Hong Kong Academic Rank: Assistant Professor Students: Supervises multiple PhD, MPhil, and postdoctoral researchers. Education: Holds a Ph.D. (2022) and MSc (2017) in Computer Science from École Polytechnique Fédérale de Lausanne (EPFL), and a BSc (2015) in Computer Science from Tsinghua University. Research Interests: Adversarial robustness, privacy-preserving machine learning, optimization algorithms, dataset distillation, generative models, and theoretical analysis of loss landscapes. His work addresses challenges like catastrophic overfitting, architecture overfitting in distilled data, and stable adversarial training methods. Article Trends: Recent publications explore adversarial robustness under l0/l1 norms, gradient inversion for data reconstruction, evolutionary factor searching in finance, and meta-tuning for out-of-domain few-shot learning. These works emphasize optimization techniques to enhance model reliability and generalization. Scientific Awards: Microsoft Research Ph.D. Scholarship Programme (2017–2019) Advising and Grants: Supervises a diverse team of current and former students, with collaborations across institutions like George Mason University and Zhejiang University. Research supported by academic and industry grants. Labs and Teams: Leads the MLO group, which investigates fundamental ML theory and algorithms to improve system reliability. The group's work spans adversarial training, dataset distillation, and generative model optimization.

• Secure Computing
• Hardware/Software Co-Design
• Machine Learning
• +۶ مورد دیگر

Farinaz Koushanfar is a Professor in the Department of Electrical and Computer Engineering at the Jacobs School of Engineering, University of California San Diego (UCSD) . She holds the Siavouche Nemat-Nasser Endowed Chair and serves as Founding Co-Director of the Center for Machine-Intelligence, Computing and Security . Her affiliations include NSF Trust-Hub (Co-PI) and NSF TILOS AI Institute . She also serves on the Editorial Board of The Proceedings of the IEEE . Research Focus: Prof. Koushanfar leads research in secure and efficient computing , including robust/safe AI , hardware/system security , AI-based optimization , and cryptographically secure privacy-preserving computing . Her work pioneered logic obfuscation/locking for chip security, automated co-design of AI systems , watermarking/tracing of deep learning models , and physical proofs of provenance . She explores co-design with cryptographic constructs for privacy preservation and manages nonlinearities in ciphertext domains. Article Trends: Recent publications show expertise in neural watermarking (deepfakes, media authentication), zero-knowledge proof frameworks , Trojan attack defenses in ML models, secure federated learning , and hardware acceleration of cryptographic protocols . Her work combines machine learning , cryptography , and physical design security across 2022-2025 publications. Scientific Awards: Fellow of ACM Fellow of IEEE Fellow of National Academy of Inventors (NAI) Fellow of Kavli Foundation of NAS Inducted to NAI 2024 Fellows Advising & Leadership: She has advised multiple PhD students who became faculty at top universities (e.g., Stanford, Purdue). She chairs conferences like ACM WiSec 2024 and co-led the NSF SaTC decadal review. Her lab ( ACES Lab ) produces award-winning graduates like Bita Rouhani (DAC Under-40 Innovators) and Shehzeen Hussain (UCSD Best Dissertation Award).

Marco Valtortaمشاهده پروفایل

استاد

• Artificial Intelligence
• Bayesian Networks
• Causal Inference
• +۵ مورد دیگر

Marco Valtorta is a Professor and Graduate Director in the Department of Computer Science and Engineering at the University of South Carolina’s Molinaroli College of Engineering and Computing. He specializes in Artificial Intelligence, with a focus on normative reasoning under uncertainty, Bayesian networks, causal models, and computational complexity. His work includes developing algorithms for structure learning in graphical models, causal inference, and applications in multiagent systems. Education: Ph.D., Computer Science, Duke University (1987) M.A., Computer Science, Duke University (1984) Laurea, Electrical Engineering, Politecnico di Milano (1980) Research Interests: Dr. Valtorta’s work integrates logical and probabilistic reasoning, with contributions to causal models, chain graphs, and adversarial machine learning. His funded projects include collaborations with the Office of Naval Research (ONR), IARPA, and the U.S. Department of Agriculture (USDA). Notable collaborations include applying Bayesian networks to healthcare and developing frameworks for trustworthiness assessment in AI systems. Grants & Collaborations: Multi-institution IARPA project on Wigmorean/Bayesian networks for argumentation ONR-funded research on Markov properties of directed hypergraphs with Dr. Linyuan Lu Causal analysis for performance modeling of configurable systems His recent publications emphasize causal inference in AI, automated evaluation of text and sentiment analysis systems, and robustness of foundation models. He has pioneered algorithms for learning chain graphs and addressing adversarial attacks in probabilistic models.

Tommy Löfstedtمشاهده پروفایل

دانشیار

• Machine Learning
• Computer Vision
• Medical Image Analysis
• +۴ مورد دیگر

Tommy Löfstedt is an Associate Professor at Umeå University , affiliated with the Department of Computing Science and the Department of Mathematics and Mathematical Statistics. His research focuses on machine learning , computer vision , and medical image analysis , with applications in life sciences, radiation therapy, and biomedical imaging. He leads multiple research projects, including AI-driven delineation in radiation therapy, quantitative MRI for radiotherapy, and machine learning for plant nutrient uptake. Current research emphasizes structured regularization methods to improve model interpretability and robustness. Key applications include medical image segmentation , Alzheimer's classification , and uncertainty estimation in MRI . Recent publications highlight his work on morphological regularization , adversarial attack mitigation , and multi-task learning in medical imaging contexts. His projects span 2022–2026 with funding for pediatric oncology automation and gynecological cancer staging. Affiliated with both computing and mathematical departments, he bridges algorithm development with applied mathematical frameworks in medical and life science domains.

Ilia Polianمشاهده پروفایل

استاد

• Circuit Architecture
• System Design
• Hardware Reliability
• +۶ مورد دیگر

Prof. Ilia Polian serves as Head of the Institute of Computer Engineering and Chair of the Hardware-Oriented Computer Science (HOCOS) department at the University of Stuttgart. His leadership spans research, teaching, and institutional coordination across multiple high-impact projects. Prof. Polian's research focuses on developing circuit and system architectures based on both traditional and novel principles, including neuromorphic, stochastic, and approximate architectures. His second major research focus is systematic design methodology and design automation, with particular emphasis on safety and reliability properties of developed systems. Current research directions include quantum computing engineering, secure mixed-signal neural networks, and resource-efficient stochastic circuits for near-sensor computing applications. His recent publications demonstrate strong trends in quantum computing (particularly circuit partitioning and compilation for multi-QPU architectures), hardware security (including memristive cryptographic implementations), and AI-driven approaches to hardware testing and reliability. These works bridge fundamental computer architecture research with practical industrial applications. University of Stuttgart's Publication Prize for Paper on Partitioning of Quantum Circuits Prof. Polian actively supervises doctoral students including Devanshi Upadhyaya, and leads significant research grants such as the DFG Priority Program Nano Security which he coordinates. His department offers numerous thesis and research opportunities for students interested in cutting-edge hardware research. The Hardware-Oriented Computer Science department maintains strong collaborations with industry partners including IBM, Infineon Technologies, and Advantest, as well as academic institutions through the IQST Graduate School and QuantumBW initiatives.

Fnu Suyaمشاهده پروفایل

استادیار

• Machine Learning for Security
• Trustworthy Machine Learning
• Adversarial Machine Learning
• +۶ مورد دیگر

Fnu Suya is a tenure-track Assistant Professor in the Department of Electrical Engineering and Computer Science at the University of Tennessee, Knoxville. Prior to this, he served as an MC2 Postdoctoral Fellow at the University of Maryland, College Park (Oct 2023–Jul 2024), and completed his Ph.D. in Computer Science at the University of Virginia under Professors David Evans and Yuan Tian.

Agostino Cortesiمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Cybersecurity
• +۵ مورد دیگر

Agostino Cortesi is a Full Professor at Ca' Foscari University of Venice , affiliated with the Department of Environmental Sciences, Informatics and Statistics. He serves as Rector's Delegate for Research Quality Assessment and Deputy Coordinator of the Scientific Committee for the Innovation Ecosystem Project. His academic career includes a PhD in Applied Mathematics and Informatics from the University of Padova (1992), a postdoctoral fellowship at Brown University, and visiting professor roles at institutions such as the University of Illinois and École Normale Supérieure Paris. Research interests focus on software engineering , static analysis , security applications , and abstract interpretation . He has pioneered techniques for formal verification of software systems and explored cybersecurity in e-Government and robotics. His work spans over 200 publications in top journals and conferences (e.g., ACM TOPLAS, IEEE TSE, POPL, PLDI). Key contributions include advancements in abstract domains for behavioral property verification and security-oriented analysis frameworks. He has held leadership roles including Vice-Rector at Ca' Foscari, Dean of Computer Science programs, and Chair of the Department of Computer Science. Cortesi coordinates EU Horizon 2020 projects (e.g., Families_Share €1.6M) and regional initiatives like CEVID (€360K). He founded Factors , a university spin-off focused on robotic systems verification, which won the 2020 Veneto SmartCup ICT Prize. Education: PhD in Applied Mathematics and Informatics (1992, University of Padova) Editorial Roles: Co-Editor-in-Chief of Springer’s 'Services and Business Process Reengineering', and member of editorial boards for 'Computer Languages' and others Grants: Over €3M in EU and regional funding for projects in cybersecurity, Industry 4.0, and digital innovation Teaching includes courses on Software Correctness , Data Programming , and Computer Networks across Computer Science and Management programs. His research lab actively engages in industrial partnerships with Cisco, Leonardo, and AGID (Italy’s Digital Agency).

Jie Dingمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Statistics
• Scientific Computing
• +۶ مورد دیگر

Jie Ding is an Associate Professor at the University of Minnesota's School of Statistics with graduate faculty appointments in Electrical Engineering, Computer Science, and the Data Science Program. He serves as a core faculty member of the Data Science and AI Hub and holds an Amazon Scholar position with the Amazon AGI Team focusing on foundation model training. His educational background includes a Ph.D. in Engineering Sciences from Harvard University (2017), postdoctoral work at Duke University (2018), and a B.S. from Tsinghua University where he participated in both the Math & Physics Academic Talent Program and Electrical Engineering program. Ding's research sits at the intersection of artificial intelligence, statistics, and scientific computing, with focus areas including Agentic AI for autonomous data science workflows, AI Foundations for interpretability and trustworthiness, Scalable Modeling for broader AI accessibility, Decentralized and Collaborative AI systems, and AI Safety addressing privacy and security concerns. He developed the STAT 8931 Generative AI course with open-source materials available at genai-course.jding.org . His recent publications demonstrate strong activity across multiple AI subfields, particularly in value alignment (MAP framework), AI safety mechanisms, federated learning innovations, and statistical foundations for modern AI systems. The breadth of venues (ICML, ICLR, NeurIPS) indicates significant impact across the AI research community. NSF CAREER Award (2024) Army Early Career Program (Young Investigator) Award (2023) Cisco Research Award (2022-25) AWS Cloud Credits for Research (2021-22) Meta/Facebook Faculty Research Award (2021-22) UMN Thank-A-Teacher Teaching Award (2019-20) Ding leads the Agentic AI for Data Science Benchmark initiative, collaborating with University of Minnesota colleagues and Minnesota industry partners to evaluate AI agent capabilities across healthcare, insurance, retail, energy and other sectors. His research group actively recruits PhD students interested in AI/Statistics intersections, with focus on developing theoretically grounded yet practically impactful AI systems.

Debabrota Basuمشاهده پروفایل

استادیار

• Machine Learning
• Reinforcement Learning
• Bandit Algorithms
• +۶ مورد دیگر

Debabrota Basu is a tenured faculty member (Inria Starting Faculty Position - ISFP) at the Scool team (previously called SequeL) of Inria Centre at University of Lille in France. He teaches postgraduate-level courses on privacy, responsible machine learning, and research methods in AI at École normale supérieure-PSL University, Université de Lille, and Centrale Lille. He is also a member of the ELLIS Society (European Laboratory for Learning and Intelligent Systems) and the Paris unit of ELLIS. Dr. Basu earned his PhD in Computer Science from the Department of Computer Science, School of Computing, National University of Singapore, advised by Stéphane Bressan and Pierre Senellart. Prior to that, he obtained a B.E. degree with Honours in Electronics and Telecommunication Engineering from Jadavpur University. Before joining Inria, he was a postdoctoral researcher at Chalmers University of Technology's Data Science and AI Division. Dr. Basu's research focuses on constructing algorithms for developing efficient, robust, private, and ethical learning machines that solve real-world problems. His methodological approach blends statistics, machine learning, and optimization. His application interests span sustainable agro-ecology, medical and pharmaceutical applications, energy-efficient autonomous systems, and algorithmic audits. Recent collaborations include the Inria-Indian Statistical Institute associate team SeRAI for developing Sequential Testing and Learning Algorithms for Verifiably Robust and Responsible AI, and the Inria-INRAE collaboration on Resilient Agricultural Decision Making under Environmental Risks. His publication record demonstrates expertise in bandit algorithms, reinforcement learning, and privacy-preserving machine learning. Recent work shows a strong theoretical foundation with practical applications, particularly in pure exploration bandits, differential privacy mechanisms, constrained optimization, and fairness verification. His research bridges the gap between theoretical guarantees and real-world deployment challenges across multiple domains. Dr. Basu has received notable recognition for his contributions: Best Student Paper Award at ACM EAAMO 2022 for 'On Meritocracy in Optimal Set Selection' Young researcher (JCJC) grant from the French National Research Agency (ANR) in 2022 in 'Artificial Intelligence and Data Science' He leads the project 'RL under Real-life Constraints: Regrets and Algorithms' and supervises PhD students and postdoctoral researchers. His research is supported by multiple projects including REPUBLIC ('Vers l'IA responsable avec l'apprentissage par renforcement sous contraintes') and 'Foundations of robustness and reliability in artificial intelligence.' Dr. Basu actively collaborates with institutions worldwide, including establishing the RELIANT associate team with Kyoto University for investigating structured multi-armed bandit problems.

Alejandro Russoمشاهده پروفایل

استاد

• Computer Science
• Information Security
• Functional Programming
• +۳ مورد دیگر

Alejandro Russo is a Professor at Chalmers University of Technology , specializing in Information Flow Control (IFC) , Secure Programming Languages , and Functional Programming . His research bridges theoretical foundations and practical implementations, focusing on mitigating timing channels , covert channels , and data leakage in concurrent systems. Developed novel frameworks for Differential Privacy with provable accuracy bounds Pioneered COWL integration for browser security and instruction-based scheduling to prevent cache timing attacks Led major projects like HIPSTER (hybrid static/dynamic IFC) and AppFlow (practical IFC deployment) His publications reveal expertise in security libraries for Haskell and Python , with a focus on faceted execution , label manipulation , and mechanized security proofs . Students under his supervision have explored topics ranging from secure eDSLs to privacy-preserving compilation techniques . Scientific awards : Google Research Award (2011) for Python taint analysis Advising and grants : Principal Investigator for VR , STINT , and Google Research Award Supervised 12+ PhD and Master’s students in security and functional programming research

Jared Tannerمشاهده پروفایل

استاد

• Compressed Sensing
• Matrix Completion
• Signal and Image Processing
• +۷ مورد دیگر

Professor Jared Tanner is Professor of the Mathematics of Information at the University of Oxford's Mathematics Institute and a Fellow of Exeter College. Previously, he held positions at the University of Edinburgh (2007-2012) as Professor, Reader, and Lecturer in Mathematics, University of Utah (2006-2007) as Assistant Professor, and Stanford University (2004-2006) as an NSF Postdoctoral Fellow. His research focuses on extracting models from high-dimensional data to reveal essential information, with specific contributions including sampling theorems in compressed sensing using stochastic geometry, efficient algorithms for matrix completion, and theoretical understanding of deep neural networks. Recent interests include neural network initialization techniques to preserve geometric and information-theoretic properties, as well as network pruning methods. Professor Tanner has supervised numerous doctoral students at Oxford and Edinburgh, including Alireza Naderi, Thiziri Nait Saada, Ilan Price, Giuseppe Ughi, Charles Millard, Michael Murray, Simon Vary, Bernadette Stolz, Bogdan Toader, Rodrigo Mendoza-Smith, Ke Wei, Bubacarr Bah, and Andrew Thompson, many of whom have gone on to prestigious positions in academia and industry. His publication record spans over two decades with significant contributions to compressed sensing, matrix completion, and more recently deep learning theory. His work demonstrates a consistent progression from foundational theoretical work to practical applications in signal processing and machine learning. As an academic leader, Professor Tanner serves as Founding Editor-in-Chief of Information and Inference: A Journal of the IMA and has held editorial positions at several prestigious journals including Applied and Computational Harmonic Analysis and IEEE Signal Processing Letters . He has organized numerous conferences and workshops including Prospects in Mathematics and the FoCM Computational Harmonic Analysis workshop.

• Privacy-Preserving Protocols
• Secure Multi-Party Computation
• Homomorphic Encryption
• +۵ مورد دیگر

Daniel Demmler is an Assistant Professor at Darmstadt University of Technology's Department of Computer Science, specializing in privacy-preserving protocols and cryptographic systems. His research focuses on practical implementations of secure multi-party computation, homomorphic encryption, and privacy-preserving machine learning frameworks. Dr. Demmler's primary research interests lie in making cryptographic protocols practical for real-world applications. His work spans secure multi-party computation, threshold homomorphic encryption, federated learning security, and defenses against property inference attacks. He has made significant contributions to frameworks like MOTION for mixed-protocol computation and Noah's Ark for threshold-FHE systems. His research bridges theoretical cryptography with practical implementation challenges, focusing on efficiency and real-world applicability. Analysis of his recent publications reveals a strong focus on threshold cryptography and privacy-preserving machine learning. His work shows increasing sophistication in balancing security guarantees with computational efficiency, particularly in distributed settings. The trend indicates growing interest in quantum-resistant cryptographic approaches and defenses against emerging machine learning privacy threats. Best Paper Award at SECRYPT 2021 Distinguished Paper Award at CCS 2018 Dr. Demmler leads the Cryptology and Privacy Research Group at TU Darmstadt, collaborating extensively with international researchers in the field. His team focuses on developing practical implementations of advanced cryptographic protocols that can be deployed in real-world systems while maintaining strong security guarantees. Current projects include threshold homomorphic encryption systems and privacy-preserving machine learning frameworks.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Formal Verification
• +۳ مورد دیگر

Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania, with appointments in the School of Engineering and Applied Science. A Fellow of the ACM, his research spans programming languages, formal verification, and security-privacy technologies. He directs the DeepSpec project on verified systems infrastructure and leads climate computing initiatives. Research interests focus on: Formal methods for reliable software via proof assistants like Coq Bidirectional programming and data synchronization Language-based security and differential privacy Publication trends show consistent contributions to type theory foundations, with recent emphasis on property-based testing methodologies and real-world verification. Articles frequently appear in top PL/SEC venues with practical applications in compilers and secure systems. Scientific Awards: ACM Fellow (systems verification) SIGPLAN Distinguished Educator Award (textbook innovations) Advises graduate students through the Penn PL Club. PI for NSF Expeditions in Sustainable Computing. Leads the VERSE project for verified C code and Unison file synchronizer. Directs the Penn Programming Languages Research Group collaborating with industry partners including Amazon and Microsoft Research.

Alessandro Orsoمشاهده پروفایل

استاد

• Software Engineering
• Software Testing
• Program Analysis
• +۳ مورد دیگر

Alessandro (Alex) Orso is a Professor in the School of Computer Science and Interim Dean of the College of Computing at Georgia Institute of Technology. He holds an M.S. in Electrical Engineering (1995) and a Ph.D. in Computer Science (1999) from Politecnico di Milano, Italy. Since 2000, he has been a faculty member at Georgia Tech. Affiliations: School of Computer Science, Scientific Software Engineering Center, Center for Experimental Research in Computer Systems (CERCS), and Online Master of Science Computer Science (OMSCS). Research Focus: Software engineering with emphasis on testing, program analysis, and improving software reliability/security through formal methods and tools. His research has been funded by DARPA, NSF, IBM, and Microsoft, among others. He co-founded the Scientific Software Engineering Center to advance methodologies for high-performance scientific software. Orso is a Distinguished Member of the ACM and an IEEE Fellow. Key contributions include developing techniques for automated REST API testing, program debloating, and cross-browser web application testing. His work bridges theory and practice, emphasizing real-world system validation. Awards: Four impact awards: ISSTA (2017, 2021), ASE (2020), IBM Haifa (2013) Editorial roles: ACM TOSEM, IEEE TSE Program chairs: ISSTA 2010, FSE 2014, ICSE 2017 Advising & Grants: Supervised over 40 students (PhD, Master's, undergrad). Secured funding from government/industry partners. Tools developed include AutoRestTest, Barista, and X-PERT. Labs/Teams: Leads the Arktos Research Group, focusing on software testing, analysis, and tool development. Collaborates with industry and government on applied research projects.

• Privacy
• Security
• Algorithmic Accountability
• +۵ مورد دیگر

Bogdan Kulynych is a research scientist at Lausanne University Hospital in Switzerland, working within the Clinical Data Science group. He holds a Ph.D. in Computer Science from EPFL (Switzerland), where he was advised by Carmela Troncoso, and a B.Sc. in Applied Mathematics from Kyiv Mohyla Academy in Ukraine. His academic journey also includes a visiting fellowship at Harvard University with Flavio du Pin Calmon, and internships at Google and CERN. His research spans three interconnected domains: Algorithmic Accountability, Verification, and Reliability; Privacy-Preserving Learning and Statistics; and Algorithmic Systems in Healthcare. Kulynych develops methods for obtaining practical guarantees on model stability, robustness, and reliability, while also auditing these properties. His privacy work focuses on systems ensuring practical privacy guarantees with legally legible and interpretable operational risk analyses. In healthcare, he critically studies algorithmic system deployment in clinical practice through collaboration with clinicians and medical informatics practitioners. Kulynych's publication record demonstrates significant impact in top venues including NeurIPS, ICML, ICLR, FAccT, and PETS. His recent work addresses fundamental questions in differential privacy, operational privacy metrics, and healthcare AI applications. His research trend shows increasing focus on translating theoretical privacy guarantees into practical healthcare settings while addressing the social implications of algorithmic systems. Unifying Re-Identification, Attribute Inference, and Data Reconstruction Risks in Differential Privacy (NeurIPS 2025) (ε,δ) Considered Harmful: Best Practices for Reporting Differential Privacy Guarantees (2025) Attack-Aware Noise Calibration for Differential Privacy (NeurIPS 2024) As an active member of the academic community, Kulynych regularly presents at major conferences and seminars, including recent talks at Harvard Privacy Tools Seminar, NeurIPS, and Imperial College London. His work has received media attention in The Guardian, Wired, The Verge, and CNET regarding algorithmic bias challenges. Kulynych maintains an active presence on Bluesky (@bogdankulynych) where he engages in critical discussions about AI ethics, privacy, and the societal implications of technology.