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

Giovanni De Micheliمشاهده پروفایل

استاد

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

Jens Grothمشاهده پروفایل

عضو هیئت علمی

• Cryptography
• Cryptographic Protocols
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Jens Groth is an Honorary Professor at the Department of Computer Science, University College London (UCL), and serves as Chief Scientist at Nexus. His primary research focuses on cryptography, with an emphasis on cryptographic protocols, zero-knowledge proofs, and privacy-preserving technologies. Groth has contributed significantly to advancements in digital signatures, homomorphic encryption, and secure multi-party computation. He holds a leadership role as Program Chair for the 15th IMA International Conference on Cryptography and Coding (2015) and has been a key figure in shaping modern cryptographic standards. His work often bridges theoretical foundations with practical implementations, emphasizing efficiency and security. Groth's research interests include but are not limited to: cryptographic protocol design, lattice-based cryptography, and the application of zero-knowledge proofs in real-world systems such as blockchain and voting systems. His publications span venues like CRYPTO, EUROCRYPT, and ASIACRYPT, reflecting his impact on the field. Notably, he advocates for open access to research and has contributed to strategies ensuring conferences adopt de facto open-access policies. His current focus at Nexus centers on verifiable computation and distributed cryptographic systems.

Stanislaw Jareckiمشاهده پروفایل

دانشیار

• Cryptography
• Cybersecurity
• Distributed Systems
• +۳ مورد دیگر

Stanislaw Jarecki is an Associate Professor of Computer Science at the Donald Bren School of Information and Computer Sciences (ICS) at the University of California, Irvine (UCI). He joined UCI in 2003 after earning his Ph.D. in Computer Science from MIT in 2001 under Prof. Shafi Goldwasser. His research focuses on applied and distributed cryptography, with significant contributions to threshold cryptography, secure computation, and password-authenticated key exchange (PAKE) protocols such as OPAQUE, which secures 2 billion WhatsApp users. He also worked at Intertrust’s StarLab and Stanford’s applied cryptography group under Prof. Dan Boneh. Education: Ph.D., Massachusetts Institute of Technology, 2001. Research Interests: Distributed cryptography, secure multi-party computation, privacy-preserving protocols, threshold security, blockchain applications, and efficient cryptographic primitives. His work emphasizes practical solutions for real-world systems, including protocols resilient to server compromises and scalable encryption methods. Awards: 2023 IACR Fellow for contributions to distributed cryptography and efficient secure computation. Advising and Grants: Jarecki’s research has been supported by grants including NSF SaTC programs. He advises students on cryptographic protocol design and security mechanisms. His work on OPAQUE and CHIC protocols exemplifies his focus on bridging theoretical cryptography with practical implementation. Labs/Teams: Leads a research group focused on applied cryptography and security within ICS at UCI, collaborating on projects like secure computation, privacy-preserving data processing, and cryptographic protocol development.

Vikas Singhمشاهده پروفایل

استاد

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

Vikas Singh is a Professor in the Department of Biostatistics at the University of Wisconsin-Madison, with appointments in Computer Sciences and Statistics. He also serves as a part-time Faculty Researcher at Google DeepMind. His research focuses on image analysis, machine learning, and medical imaging applications, particularly in neuroimaging and Alzheimer's disease studies. Singh holds a Ph.D. in Computer Science from SUNY Buffalo and has taught courses such as BMI/CS 767 (Medical Image Analysis) and CS 766 (Computer Vision). Affiliations: UW Computer Vision Group, Wisconsin Alzheimer's Disease Research Center (W-ADRC), Machine Learning@UW. Research: Develops algorithms for medical image analysis, including tools for neuroimaging and longitudinal biomarker studies. Grants: Collaborates on grants related to Alzheimer's progression modeling and imaging techniques. His work emphasizes interdisciplinary applications, bridging statistics, geometry, and optimization to solve real-world problems in healthcare and engineering.

Sebastian Rudolphمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Description Logics
• +۷ مورد دیگر

Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.

• Tropical Geometry
• Cluster Algebras
• Combinatorics
• +۵ مورد دیگر

David E Speyer is a Professor in the Department of Mathematics at the University of Michigan . His research focuses on algebraic problems with combinatorial flavors , particularly in tropical geometry , cluster algebras , and geometry of Lie groups . He has supervised multiple PhD students, including Shelby Cox, Will Dana, and John Wiltshire-Gordon, and collaborated on projects with undergraduates like Grant Barkley and Benjamin Branman. Education: PhD in Mathematics from UC Berkeley under Bernd Sturmfels; undergraduate at Harvard. Research: Key areas include tropical geometry , cluster algebras , and flag manifolds . His work often bridges combinatorics, algebraic geometry, and representation theory. Publications: Over 40 papers, including breakthroughs in cluster algebras , affine weak order , and braid variety cluster structures . Awards: Clay Research Fellow (2005-2010). Teaching: Coordinates courses like Math 593 (graduate algebra) and Math 214 , with a focus on inquiry-based learning .

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +۵ مورد دیگر

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

Alejandro J. Ganimianمشاهده پروفایل

دانشیار

• Educational Assessment
• Education Technology
• Teacher Policies
• +۶ مورد دیگر

Alejandro J. Ganimian is an Associate Professor of Applied Psychology and Economics (with tenure) at New York University's Steinhardt School of Culture, Education, and Human Development, and a Visiting Associate Professor of Education at the Harvard Graduate School of Education. His interdisciplinary research bridges economics, psychology, and education policy to address critical challenges in educational systems, particularly in low- and middle-income countries, with a focus on transitioning from providing schooling to ensuring learning for all. Education: Doctorate in Quantitative Policy Analysis in Education (with concentration in economics) from Harvard University, where he was a fellow in the Multidisciplinary Program in Inequality and Social Policy Master's in Educational Research from the University of Cambridge, where he was a Gates Scholar Bachelor's in International Politics from Georgetown University Postdoctoral fellow at the Abdul Latif Jameel Poverty Action Lab (J-PAL) Ganimian's research centers on addressing educational challenges for "first-generation learners" in low- and middle-income countries. His methodology combines cutting-edge experimental designs from economics with innovative measures from education and psychology to evaluate causal effects of policies at scale. He specifically investigates how to prepare children for educational transitions, support teachers in large heterogeneous classrooms, and encourage principals to allocate resources to students who need them most. His work spans educational assessment, technology in education, teacher policies, and school management, with fieldwork conducted primarily in Latin America and South Asia. His research has been published in top journals including Nature , American Economic Review , Journal of Political Economy , and Review of Educational Research . Scientific Awards and Affiliations: Jacobs Foundation Research Fellow National Academy of Education/Spencer Foundation Post-Doctoral Fellow Gates Scholar Advisory-Board member at the Organization of Ibero-American States for Education, Science, and Culture (OEI) Non-Resident Fellow at the Center for Universal Education at the Brookings Institution Invited Researcher at the Abdul Latif Jameel Poverty Action Lab (J-PAL) at MIT Member of the CESifo Network on Economics of Education Ganimian actively mentors doctoral students at NYU, with primary advisee Verónica Mesalles and secondary or co-advisees including Sorana Acris, Berta Bartoli, Arja Dayal, Trenel Francis-Porter, and Jessica Siegel. His former advisees have secured prestigious positions at institutions including Oxford University, UC Irvine, Duke University, and Stanford University. He has consulted for major international organizations including the Bill & Melinda Gates Foundation, World Bank, and Inter-American Development Bank, and co-founded educational initiatives "Enseñá por Argentina" and "Educar y Crecer" in Argentina.

Henry Corrigan-Gibbsمشاهده پروفایل

استادیار

• Computer Security
• Cryptography
• Computer Systems
• +۵ مورد دیگر

Henry Corrigan-Gibbs is an Assistant Professor at the Massachusetts Institute of Technology (MIT) in the Department of Electrical Engineering and Computer Science. He is affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL) and collaborates with the PDOS and CSS research groups. Henry co-hosts the MIT Security Seminar series. Education : PhD in Computer Science from Stanford University (advisor: Dan Boneh), Postdoc at École polytechnique fédérale de Lausanne (EPFL) (host: Bryan Ford), and B.S. in Computer Science from Yale University . Research Interests Henry focuses on computer security , cryptography , and systems research , building technologies that: Empower end users through privacy-preserving design Implement strong cryptographic security in real-world deployments Scale to millions of users while maintaining security Key projects include: Tiptoe for private web search Prio for privacy-preserving aggregate statistics used by Apple and Google Express for metadata-hiding communication SafetyPin and True2F for secure authentication Scientific Contributions Standards Influence : IETF and NIST standards recommend his private-aggregation systems Industry Impact : Deployed in Apple iOS , Google Android , and Mozilla Firefox Non-profit Deployment : Co-founder of Divvi Up for real-world Prio implementations Academic Recognition 2023 MIT EECS Jerome Saltzer Award for teaching excellence 2020 ACM Doctoral Dissertation Honorable Mention 2016 Caspar Bowden Award for PET research 2015 IEEE Security & Privacy Distinguished Paper Award Multiple IACR Best Young Researcher Paper Awards (2015–2018) Advising and Collaborations Current advisees include: PhD students: Alexandra Henzinger , Ryan Lehmkuhl Postdoc: Emma Dauterman Collaborates with industry (Apple, Google, Mozilla) and standards bodies (IETF, NIST) to translate research into practice.

Gabriele Pulciniمشاهده پروفایل

استادیار

• Proof Theory
• Philosophy of Mathematics
• Hilbert's 24th Problem
• +۶ مورد دیگر

Gabriele Pulcini is an Assistant Professor in Logic and Philosophy of Science at the Philosophy Department, University of Rome 'Tor Vergata'. He holds dual PhDs in Philosophy and Theory of Human Sciences from the University of Rome 3 and in Discrete Mathematics from the University of Aix-Marseille II. Since 2020, he has served as a council member of the Italian Society for Logic and Philosophy of Science (SILFS). Previously, he was a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) in Amsterdam, and has taught master courses in proof theory and set theory at institutions including the Sorbonne, University of Campinas, and the University of Lisbon. His research focuses on proof theory, Hilbert's 24th problem, and the philosophy of mathematics, with contributions to linear/nonmonotonic logics, refutation calculi, and Gödel's incompleteness theorems. His work bridges formal logic with interdisciplinary applications, such as integrating logical frameworks into molecular biology. Key themes include deductive saturation, context-sensitiveness in logical systems, and foundational questions in mathematical logic. Pulcini's publications explore advanced topics like cut-elimination, complementary proof nets, and fractional semantics, often addressing the interplay between classical and non-classical logics. His recent work emphasizes innovations in refutation systems and their philosophical implications.

Elisabeth Moser Opitzمشاهده پروفایل

استاد

• Special Education
• Inclusive Education
• Mathematics Education
• +۳ مورد دیگر

Prof. Dr. Elisabeth Moser Opitz is a Full Professor of Special Education with a focus on Inclusion and Instruction Research at the University of Zurich. She leads the Institute of Educational Science and has held academic roles since 2010. Her research prioritizes inclusive education, mathematics learning difficulties (e.g., dyscalculia), and diagnostic tools for educational assessment. Key projects include SMILE (addressing mathematics difficulties in adolescents) and the Zurich Learning Progress Study (LEAPS) , examining learning trajectories from kindergarten through compulsory schooling. She has authored over 100 publications, focusing on teacher training, special education practices, and social-emotional development in classrooms. Education: 2000: Doctorate in Educational Science (University of Fribourg) 1991: Master's in Special Education (University of Fribourg) 1983: Primary School Teaching Certification Research Interests: Moser Opitz investigates inclusive pedagogical strategies, early numerical competence, and systemic educational equity. Her work bridges theory and practice, emphasizing teacher collaboration and contextual factors influencing student success. Grants/Leadership: Active in Swiss National Science Foundation projects (e.g., SinuS analyzing secondary school inclusion). She directs the LEAPS consortium, combining interdisciplinary expertise from multiple Swiss universities. Her contributions include developing diagnostic tools like the BASIS-MATH-G series for early mathematics assessment. Labs/Teams: Leads projects at the Institute of Educational Science, collaborating with experts in mathematics didactics, educational psychology, and teacher education.

Matthew P. Youngمشاهده پروفایل

استاد

• Analytic Number Theory
• Automorphic Forms
• L-functions
• +۳ مورد دیگر

Matthew P. Young is a Harold H. Martin Professor of Mathematics at Rutgers University , specializing in Analytic Number Theory and Automorphic Forms . His research focuses on L-functions, modular forms, and spectral theory, with a strong emphasis on moments and subconvexity bounds. Research Trends: Recent publications highlight advancements in cubic and fourth moments of L-functions, reciprocity laws for Dedekind sums, and spectral large sieve inequalities. His work bridges classical number theory with modern automorphic form analysis. Teaching: Has taught a wide range of courses at Rutgers, including advanced topics in number theory and graduate-level mathematics, from 2007 to 2023.

Sylvain Conchonمشاهده پروفایل

استاد

• Formal Methods
• Automated Deduction
• Program Verification
• +۱۰ مورد دیگر

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

• Cryptography
• Security
• Privacy
• +۳ مورد دیگر

Dario Fiore is a Research Professor at the IMDEA Software Institute in Madrid, Spain. He holds a Ph.D. in Computer Science from the University of Catania (Italy), supervised by Dario Catalano, with postdoctoral positions at Max Planck Institute for Software Systems (Germany), New York University (USA), and École Normale Supérieure (France). His research focuses on theoretical and practical aspects of Cryptography, emphasizing secure computation, privacy-preserving technologies, and cryptographic protocols. Fiore has authored over 69 conference papers and 19 journal articles, with notable contributions to zero-knowledge proofs, homomorphic encryption, and verifiable computation. He leads a research group involving postdocs and students, and has secured grants such as the ERC Consolidator Grant PICOCRYPT and funding from NEC Laboratories Europe. Education: Ph.D. in Computer Science, University of Catania, 2010 Visiting Student: New York University (2009-2010), IBM Research (2008-2009) Research Interests: Cryptography, Security, Privacy, Zero-Knowledge Proofs, Secure Computation, Homomorphic Encryption His work bridges foundational cryptography with real-world applications, including privacy-preserving systems and blockchain technologies. Recent research highlights include verification-efficient homomorphic signatures, non-malleable zkSNARKs, and efficient zero-knowledge proofs for data streams. Grants & Awards: ERC Consolidator Grant PICOCRYPT (2021-2026, PI) Top Reviewer Award at ACM CCS 2022 Best Short Paper at JNIC 2015 Fiore actively participates in program committees (e.g., Eurocrypt 2025) and has delivered keynotes on cryptographic topics. His team's work is implemented in libraries like 'hsnp' for homomorphic signatures.

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

Adjunct Professor Shuai Wan is affiliated with the School of Engineering at RMIT University (City Campus, Australia). His research focuses on computer vision, machine learning, 3D point cloud compression, neural video coding, and remote sensing . Key contributions include lightweight deep learning frameworks for image/video compression, spatio-temporal context models for point clouds, and adaptive quantization techniques. Research Outputs Insights : Wan’s work spans 2024–2025 , emphasizing end-to-end deep learning solutions for challenges in Exemplar-based colorization with semantic attention Rendering-oriented 3D point cloud compression Slimmable video codecs with variable bitrate G-PCC standard enhancements for quantization and entropy coding Adversarial example detection in remote sensing Technical Domains : His articles intersect artificial intelligence, signal processing, and computer graphics , with applications in cloud gaming, SAR systems, and industrial data compression. Methods include transformers, attention networks, and 3D convolutional architectures .