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

Tomer Galantiمشاهده پروفایل

استادیار

• Machine Learning
• Deep Learning
• Large Language Models
• +۵ مورد دیگر

Tomer Galanti is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on machine learning, deep learning, large language models, and artificial intelligence. He holds a B.S., M.S., and Ph.D. in Computer Science and Mathematics from Tel Aviv University (2015–2021), followed by a postdoctoral position at MIT (2021–2024). His work spans theoretical foundations of neural networks, optimization, generalization bounds, and practical applications in language modeling and self-supervised learning. Education: Postdoctoral Associate, Massachusetts Institute of Technology (MIT), 2021–2024 Ph.D., Computer Science, Tel Aviv University, 2021 M.S., Computer Science, Tel Aviv University, 2017 B.S., Mathematics and Computer Science, Tel Aviv University, 2015 Research Interests: Machine and deep learning, large language models, artificial intelligence, generalization bounds, neural collapse phenomena, and self-supervised learning. His recent work explores optimization techniques (e.g., SGD with weight decay), distributed inference systems, and theoretical guarantees for neural network performance. Articles Trends: His publications emphasize theoretical advancements in neural network dynamics, generalization, and optimization. Notable themes include sparse neural networks, speculative inference acceleration, and fairness in language models. He also investigates representation learning and decision tree integration in language modeling frameworks. Advising & Grants: No advising or grant details are explicitly listed in the provided materials. His research is supported through institutional and collaborative efforts in computational and theoretical machine learning.

• Legal Informatics
• Artificial Intelligence & Law
• Computable Legal Reasoning
• +۶ مورد دیگر

Giuseppe Contissa is an Associate Professor at the Department of Legal Sciences, University of Bologna. His work focuses on Legal Informatics, AI & Law, Legal Theory, and Law & Technology, particularly in robotics and automated systems. He holds a PhD in Legal Informatics from the University of Bologna and has extensive experience in research projects like ALIAS (air traffic management liability) and CLAUDETTE (AI-driven contract analysis). He is affiliated with ALMA Ai (Human-Centered AI Institute) and ARCES (Electronic Systems Research). Education: PhD in Legal Informatics (2006, University of Bologna), Master's in Legal Informatics (2002), Laurea in Jurisprudence (2001). Research Interests: Computable legal reasoning, AI ethics in healthcare, liability frameworks for autonomous systems, socio-technical systems governance, and automated vehicle regulation. He leads projects on AI certification in aviation and consumer protection through AI systems. Key Projects: CrossJustice (digital criminal procedure rights), SAFELAND (air traffic safety), and COMPULAW (computable law models). He advises the Council of Europe on AI ethics in justice systems. Labs/Teams: CIRSFID (Computer Law Research), ALMA Ai, and collaborations with CodeX (Stanford).

Asta Halkjær Fromمشاهده پروفایل

پژوهشگر

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Zoltán Harmanمشاهده پروفایل

پژوهشگر

• Quantum Electrodynamics
• Atomic Physics
• Highly Charged Ions
• +۱۲ مورد دیگر

Zoltán Harman is a Leading Scientist at the Max Planck Institute for Nuclear Physics (MPIK) in Heidelberg, Germany, and is affiliated with Heidelberg University. He conducts cutting-edge research in atomic physics, quantum electrodynamics, and precision measurements, particularly using highly charged ions and Penning trap techniques. He holds a habilitation in physics from Heidelberg University and regularly lectures there on advanced topics such as quantum electrodynamics and theoretical physics. Research Interests: Quantum Electrodynamics (QED) in strong fields Precision spectroscopy of highly charged ions g-factor measurements and tests of fundamental physics Development of atomic clocks using highly charged ions Determination of fundamental constants (e.g., electron mass, fine-structure constant) Searches for new physics beyond the Standard Model, including fifth forces Neutrino mass determination via Penning trap measurements His recent publications (2024–2025) focus on high-precision g-factor measurements in ions like tin and beryllium, two-loop QED calculations, King plot analyses for new boson searches, and neutrino mass studies. These works appear in top journals such as Nature , Physical Review Letters , and Science , reflecting his leadership in precision atomic physics. Scientific Awards and Grants: Postdoctoral scholarship from the Max Planck Society (2005–2007) EMMI Visiting Professor Scholarship (2012, 2013) Erasmus student scholarship (1999–2000) Primary investigator of the ISOQUANT Collaborative Research Centre (SFB1225) Teaching and Advising: Harman has been a regular lecturer at Heidelberg University since 2008, teaching courses in quantum electrodynamics, theoretical physics, and experimental physics. He co-organizes advanced lecture series and supervises student research projects, including poster sessions and talks. He is also a lecturer in the International Max Planck Research School on Quantum Dynamics. Research Group and Collaborations: Harman is a key member of the quantum dynamics group at MPIK, led by Prof. Christoph H. Keitel. His work involves close collaboration with experimental teams at MPIK, GSI, and Heidelberg University, combining theoretical and experimental efforts in precision physics. He is actively involved in major projects such as PENTATRAP and ALPHATRAP, which aim to push the limits of atomic and nuclear measurements.

Zijian Diaoمشاهده پروفایل

دانشیار

• Quantum Computation
• Quantum Information Theory
• Natural Language Processing
• +۷ مورد دیگر

Zijian Diao is an Associate Professor in the Department of Mathematics at Ohio University's College of Arts and Sciences, where he contributes to both teaching and research. He is based at the Eastern Campus in Shannon Hall and teaches a wide range of undergraduate mathematics courses. Education: Ph.D. in Mathematics, Texas A&M University, 2001 M.S. in Computer Science, University of Illinois, 2003 B.S. in Automation, University of Science and Technology of China, 1996 His research spans interdisciplinary areas with a strong focus on quantum computation and information theory , where he has made contributions to Grover's algorithm, quantum counting, and quantum circuit design. He has also worked in natural language processing , particularly in multilingual speech-to-speech translation systems like MARS. Additional interests include control theory , partial differential equations , and mathematical modeling . His recent and ongoing publications reflect a blend of theoretical mathematics and applied computational science. The works trend toward quantum algorithms and foundational mathematical proofs, with earlier contributions in NLP and control systems. His research bridges pure mathematics with practical implementations in quantum computing and language technologies. Scientific Awards: Ohio University Regional Higher Education Outstanding Professor Dr. Diao advises undergraduate and graduate students in mathematics and related fields, though specific student names are not listed. He has been involved in research projects supported by academic grants, particularly in quantum computing and interdisciplinary technology development. His curriculum vitae indicates sustained scholarly activity across multiple domains. He is associated with research groups and collaborations in quantum computing, having co-authored works with G. Chen, C. Huang, and others. His work in NLP was part of larger team efforts involving researchers from industry and academia, suggesting active participation in collaborative technical teams.

• Mathematical Analysis
• Fuzzy Set Theory
• Measure Theory
• +۵ مورد دیگر

Lect. dr. Alina Cristiana Gavriluţ is a faculty member at the Faculty of Mathematics, Al. I. Cuza University of Iaşi, Romania. Her research focuses on advanced topics in mathematical analysis, including set multifunctions, non-additive measures, fuzzy integrals, and their applications in physics and complex systems. She has authored/co-authored multiple books and over 30 peer-reviewed papers in journals like Fuzzy Sets and Systems , Entropy , and Reports on Mathematical Physics . Her work explores regularity properties of set multifunctions, integrability in non-additive settings, and interdisciplinary applications in areas like fractal information, quantum mechanics, and neurosciences. She has also contributed to theoretical frameworks connecting mathematical physics with complex systems, including studies on non-differentiable entropy and spacetime manifolds. Dr. Gavriluţ collaborates extensively with researchers in mathematics and physics, notably Maricel Agop and Anca Croitoru. Her research has implications for diverse fields, from image processing to neuronal network modeling. She actively participates in international conferences, presenting findings on set-valued integration, fractal systems, and transdisciplinary approaches to complex phenomena. Education: PhD in Mathematics from Al. I. Cuza University (year not specified). Key Areas: Mathematical analysis, measure theory, fuzzy set theory, complex systems, non-differentiable dynamics. Grants/Awards: Not explicitly listed in the provided texts, but her prolific publication record indicates sustained academic engagement. Labs/Teams: Affiliated with the Mathematics department at Al. I. Cuza University, contributing to research groups in functional analysis and mathematical physics.

Karine Chemlaمشاهده پروفایل

استاد

• History of Mathematics
• Mathematical Anthropology
• Comparative Study of Mathematical Cultures
• +۳ مورد دیگر

Karine Chemla is a Senior Researcher at the French National Center for Scientific Research (CNRS) in the SPHERE laboratory (CNRS & University Paris Diderot). She has held significant research positions including Principal Investigator of the ERC Advanced Research Grant 'Mathematical Sciences in the Ancient Worlds' (SAW) from 2011 to 2016 and George Sarton Chair Holder at Universiteit Gent (2013-2014). She has collaborated with the Max Planck Institute for the History of Science, working with Glenn Most on mathematical commentaries in the ancient world. Chemla earned her PhD in mathematics in 1982 from University Paris XIII-Villetaneuse, with a dissertation on a thirteenth-century Chinese mathematical writing. Her education included mathematics studies at the Ecole Normale Supérieure de Jeunes Filles (1976–1982) and history of mathematics at the Institute for the History of Natural Sciences in Beijing (1981). Her research focuses on the relationship between mathematics and various cultures from a historical anthropology perspective, examining how mathematical practices emerge and evolve within specific cultural contexts. She specializes in comparative studies of mathematical traditions across civilizations, particularly ancient China, with significant work on mathematical commentaries, the transmission of mathematical knowledge, and the historical development of mathematical reasoning. Her approach integrates historical, anthropological, and philosophical perspectives to understand mathematics as a human practice deeply embedded in cultural frameworks. Her scientific awards include the Prize Binoux of the French Academy of Science (2006), the Prize Hirayama of the Academy of Inscriptions & Belles-Lettres (2006), and the silver medal from CNRS (2008). She is an elected member of both the Deutsche Akademie der Naturforscher Leopoldina (2005) and the Academia Europaea (2013). Chemla has led significant research initiatives including the ERC Advanced Grant SAW project, which investigated mathematical practices across ancient civilizations. Her scholarly activities include numerous invited lectures at prestigious institutions including the Hans Rausing Lecture at Uppsala University (2017) and a plenary lecture at the European Congress of Mathematicians (2016). She is affiliated with the SPHERE laboratory (Science, Philosophy, History of Science), a joint research unit of CNRS and University Paris Diderot, which provides an interdisciplinary environment for her work on the historical and cultural dimensions of scientific practices.

• Social Philosophy
• Collective Responsibility
• AI Ethics
• +۳ مورد دیگر

Pekka Mäkelä is a Research Coordinator and Vice-Director at the Helsinki Institute for Social Sciences and Humanities (HSSH), University of Helsinki. He holds a permanent position in the Department of Social and Moral Philosophy, Faculty of Social Sciences, and has led major projects like Robophilosophy , AI ethics , and Trust research . His career spans roles as a Researcher, Adjunct teacher, and organizer of international workshops. Research Focus: Social ontology Collective moral responsibility Human-robot interaction ethics Trust and social capital Group action theory Publication Trends: Recent work (2023-2025) addresses AI ethics, robotic accountability, and institutional responsibility frameworks, often through collective intentionality lenses. Scientific Awards: Finnish Cultural Foundation grants (2001-2003) Advising: Supervised PhD candidates including Säde Hormio and Miguel Garcia, with ongoing mentorship of pro graduate theses since 2005. Labs/Teams: Core member of HSSH, TINT Centre, and RADAR research units focusing on AI ethics and collective responsibility.

• Software Engineering
• Intelligent Systems
• Model-Based Systems Engineering
• +۳ مورد دیگر

Rüdiger Lunde is a Professor at Technische Hochschule Ulm , currently serving as Dean of Studies for Information Systems since September 2019. He previously chaired the Examination Board for programs including INF, CTS, TI, ICS, DSM, MD, and IS from 2014 to 2019. His primary research areas include Software Engineering , Intelligent Systems , and Model-Based Systems Engineering , with a focus on automated safety analysis and technical system simulation. Current Role: Dean of Studies for Information Systems Prior Role: Chair of Examination Board (2014–2019) His research leverages the smartIflow framework for safety tasks such as Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis (FTA). He has contributed to formal verification methods using Computation Tree Logic (CTL) and explored temporal reasoning across varying time scales. Recent trends in his work include: Automated safety analysis in technical systems Integration of SysML for artifact generation Model decomposition techniques for complex systems Scientific awards: Best Paper Award at International Workshop on Applications in Information Technology (IWAIT-2015) Contact: Ruediger.Lunde@thu.de | Room: A306a | Consultation hours: By appointment via email.

Marianna Nicolosi Asmundoمشاهده پروفایل

دانشیار

• Mathematical Logic
• Automatic Deduction
• Description Logic
• +۷ مورد دیگر

Marianna Nicolosi Asmundo is an Associate Professor of Mathematical Logic (MAT/01) at the Department of Mathematics and Computer Science (DMI) of the University of Catania. She earned her PhD from the same university in 2003 and serves as a proposing member of CINUM - Interdepartmental Center for Humanistic Computing. Teaches undergraduate and graduate programs in Mathematics Master's Degree Programs in Computer Science Textual Sciences for Digital Professions (Department of Humanities) Her research spans automatic deduction, tableaux-based deductive systems, decision procedures in elementary set theory and non-classical logic, interactive theorem proving, knowledge bases, ontologies, and reasoning services for the semantic web. Recent publications emphasize ontology interoperability, blockchain-based knowledge representation, and set-theoretic reasoning frameworks. She contributes to ontologies for cultural heritage (Saint Gall monastery modeling, archaeological Sicilian landscapes) and blockchain applications. Collaborates extensively with researchers like D. Cantone and D.F. Santamaria on description logic systems. Active member of CINUM - Interdepartmental Center for Humanistic Computing Supervises thesis projects on semantic web and blockchain ontologies

Marwa Keshkمشاهده پروفایل

مدرس

• Cyber Security
• Artificial Intelligence
• Privacy Preservation
• +۵ مورد دیگر

Dr. Marwa Keshk is a Lecturer in Cyber Security at the School of Professional Studies, University of New South Wales (UNSW) Canberra. Her academic career focuses on the intersection of cybersecurity and artificial intelligence, with particular expertise in privacy preservation, anomaly detection, and threat intelligence. Her educational background includes: PhD in Cyber Security and Privacy Preservation (2021) from UNSW Master's degree in Evolutionary Computation (2017) from UNSW Bachelor's degree in Computer Science (2012) from the Faculty of Computers and Information at Helwan University, Egypt Dr. Keshk's research interests primarily center around the application of artificial intelligence and machine learning techniques to enhance cybersecurity measures. Her work explores how computational intelligence, statistical methods, and emerging technologies can be leveraged for privacy preservation, anomaly detection, and threat intelligence. She has made significant contributions to the security of Internet of Things (IoT) networks, cyber-physical systems, and critical infrastructure protection. Her research often combines theoretical advancements with practical applications, addressing real-world security challenges in increasingly connected digital environments. Analysis of Dr. Keshk's publication history reveals a strong focus on applying AI and machine learning to cybersecurity challenges, particularly in IoT environments. Her work demonstrates a progression from foundational research in evolutionary computation to specialized applications in cybersecurity. Recent publications show increasing emphasis on explainable AI for security applications, reflecting the growing need for transparency in security decision-making processes. Her research spans multiple domains including smart cities, industrial control systems, and power networks, demonstrating the versatility and wide applicability of her security frameworks. Dr. Keshk has received notable recognition for her academic work: UNSW Tuition Fee Scholarship for PhD Research (2018-2021) Data61/CSIRO Scholarship (2019-2021) During her PhD studies, Dr. Keshk was a research candidate at Data61-CSIRO in Australia, providing her with valuable industry experience alongside her academic pursuits. Her collaborative approach to research is evident in her extensive co-authorship with colleagues across various institutions, particularly with researchers from UNSW and other Australian universities. Dr. Keshk's work contributes significantly to several research teams and initiatives focused on cybersecurity and AI at UNSW Canberra. Her expertise complements broader efforts in secure systems development, particularly in the context of increasingly connected environments where traditional security boundaries are challenged by new technologies.

Yiannis Giannakopoulosمشاهده پروفایل

مدرس ارشد

• Algorithms
• Algorithmic Game Theory
• Computational Complexity
• +۶ مورد دیگر

Yiannis Giannakopoulos is a Senior Lecturer (equivalent to Associate Professor) in Algorithms and Complexity at the University of Glasgow and a Turing Fellow. He previously held faculty positions at FAU Erlangen-Nürnberg and TU Munich, and was a postdoctoral researcher at TU Munich and the University of Liverpool. PhD (DPhil) in Computer Science, University of Oxford, advised by Elias Koutsoupias MSc in Logic, Algorithms and Computation (MPLA), University of Athens BSc in Mathematics, University of Athens His research centers on algorithms, complexity, and optimization, with a strong emphasis on algorithmic game theory. Key topics include auction design, mechanism design, equilibrium computation, congestion games, and computational economics. His work bridges theoretical computer science and economic theory, focusing on the algorithmic aspects of strategic behavior. The recent publications highlight a consistent focus on equilibrium computation in auctions and congestion games, optimal mechanism design, and complexity analysis. Trends include smoothed complexity, approximation algorithms for equilibria, robust revenue maximization, and structural analysis of inefficiency in games. His work frequently appears in top venues such as EC, SAGT, ICALP, SICOMP, and MOR. Scientific Awards: Best Paper Award at ICALP 2015 for 'Selling Two Goods Optimally' He is actively supervising PhD students, including Johannes Hahn, and has mentored several others such as Charalampos Kokkalis and Alexander Grosz. He is involved in academic service, including organizing the 1st UK Workshop for Junior Researchers in Economics and Computation (2025) and serving on the program committee of SAGT 2025. PhD positions are currently available with funding for UK students. He is affiliated with research groups in Algorithms & Complexity and has collaborated extensively with leading researchers in the field, including Aris Filos-Ratsikas, Elias Koutsoupias, and Diogo Poças. His work is supported by institutions such as the Simons Foundation.

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

دانشیار

• Marketing Analytics
• Machine Learning
• Big Data
• +۶ مورد دیگر

Zhuping Liu is an Associate Professor at the Allen G. Aaronson Department of Marketing & International Business within the Zicklin School of Business at Baruch College, City University of New York. She holds a PhD in Marketing from the University of Texas at Austin (2017), an MS in Statistics from the University of Connecticut (2012), an MS in Management Science from Beijing University of Aeronautics and Astronautics, and a BS in Management Information Systems from Qingdao University. Her research focuses on marketing analytics , machine learning applications , and consumer behavior in digital environments . Key areas include mobile advertising effectiveness, online consumer decision-making, crowdfunding dynamics, visual marketing analytics, and behavioral modeling in retail and sports contexts. She employs advanced methodologies such as Bayesian statistics, field experiments, and econometric modeling. Her publication portfolio demonstrates a strong focus on digital marketing trends, particularly mobile consumer engagement, online platform strategies, and visual attention analytics. Recent work explores push-notification advertising, eye-gaze effects in imagery, and omni-channel retail returns. Awards and Honors: MSI Alden G. Clayton Doctoral Dissertation Proposal Award (2017) SYLFF Doctoral Fellowships in Business (2016) University of Texas Graduate Continuing Fellowship (2016) AMA-Sheth Foundation Doctoral Consortium Fellow (2016) Grants and Funding: PSC CUNY grants totaling over $21,000 for projects including: Geo-messaging strategies (2021-2023) Mobile advertising congruency (2020-2022) Visual attention in marketing images (2022-2023) Push-notification effectiveness (2023-2024) She serves as Director of the Advertising and Marketing Communication Track and participates in multiple committees including the Zicklin Academic Standing Committee and Graduate Curriculum Committee. She also reviews for leading journals including Journal of Marketing and International Journal of Research in Marketing .

• Engineering Geology
• Rock Mechanics
• Slope Stability
• +۵ مورد دیگر

Tümay Kadakci Koca is an Associate Professor in the Department of Geological Engineering, Faculty of Engineering at Muğla Sıtkı Koçman University. She holds a Ph.D. in Applied Geology from Dokuz Eylül University (2021), an MSc in Applied Geology (2011), and a BSc in Geological Engineering from Hacettepe University (2009). Research Focus: Engineering geology, rock mechanics, slope stability analysis, geotechnical engineering, and soft computing applications in geological problems. Academic Contributions: Over 15 publications focusing on rock slope stability in mining operations, soil burn severity mapping post-wildfires, and geomechanical properties of sedimentary rocks. Scientific Recognition: Recipient of Kemal Erguvanlı Engineering Geology Award (2022) and Altın Çekiç Geology Research/Article Award (1900). Projects: Led TÜBİTAK-funded research on post-fire soil burn severity in Muğla, contributed to dam reservoir landslide analyses, and consulted for private mining projects in Turkey. Her work integrates numerical modeling with field studies, emphasizing Turkey-specific geological challenges and environmental impacts.

Howard Schwartzمشاهده پروفایل

استاد

• Machine Learning
• Adaptive Control
• Multi-Agent Machine Learning
• +۳ مورد دیگر

Professor Howard Schwartz is a distinguished academic in Electrical and Computer Engineering at Carleton University , with a career spanning academia, industry, and robotics research. He earned his BEng in Civil Engineering from McGill University (1982), followed by MSc (1984) and PhD (1986) in Aerospace and Mechanical Engineering from MIT. His academic leadership includes serving as Department Chairman (2009-2013) and authoring the seminal text Multi-Agent Machine Learning: A Reinforcement Approach (Wiley, 2014). As an Associate Editor for IEEE Transactions on Cybernetics , he shapes discourse in cybernetic systems and machine learning. Research Focus Professor Schwartz's research bridges theoretical and applied domains: Machine learning for robotics and autonomous systems Adaptive control theory and multi-agent systems Reinforcement learning algorithms with fuzzy logic integration Real-time video analytics and GPS receiver development Nonlinear control systems for UAVs and wind energy optimization Industry Experience His career includes impactful industry engagements: Early development of high-performance GPS receivers at Canadian Marconi Co. (1982-1984) Sabbatical at March Networks (2001-2002) for video analytics Software quality control at CMC Electronics (2008) Software development for TV set-top boxes at Espial Inc. (2014-2015)