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

Yasser Roudiمشاهده پروفایل

استاد

• Theoretical Neuroscience
• Neural Networks
• Information Processing
• +۳ مورد دیگر

Professor Yasser Roudi holds the position of Professor of Disordered Systems at King’s College London’s Department of Mathematics, within the Faculty of Natural, Mathematical & Engineering Sciences. He earned his PhD from SISSA (International School for Advanced Study) in 2005 and a physics degree from Sharif University of Technology in Tehran. Prior to joining King’s, he worked at prestigious institutions like the Kavli Institute for Systems Neuroscience in Norway and NORDITA. His research focuses on theoretical neuroscience, neural networks, and the physics of disordered systems, employing mathematical tools to model information processing in brains and machines. He has been recognized with awards including the Eric Kandel Young Neuroscientist Prize (2015) and membership in the Royal Norwegian Society of Sciences and Letters. His work explores topics such as grid cells’ toroidal topology, restricted Boltzmann machines, and maximum entropy models for cortical populations. Recent publications highlight advancements in understanding neural oscillations, stochastic processes, and reinforcement learning algorithms. Roudi leads the Disordered Systems research group at King’s, contributing to the study of complex systems and statistical mechanics. Education: PhD, SISSA (2005); BSc, Sharif University of Technology (Physics). Affiliations: King’s College London, Kavli Institute for Systems Neuroscience, NORDITA, UCL, and the Institute for Advanced Study. Roudi’s research bridges theoretical physics and neuroscience, addressing fundamental questions about neural information processing and system dynamics. His awards underscore his impactful contributions to the field, while his interdisciplinary approach continues to push boundaries in understanding complex biological and artificial systems.

Fabrizio Leisenمشاهده پروفایل

استاد

• Bayesian Inference
• Bayesian Nonparametric Methods
• Objective Bayesian Analysis
• +۳ مورد دیگر

Fabrizio Leisen is a Professor of Statistics at King’s College London, Department of Mathematics, within the Faculty of Natural, Mathematical & Engineering Sciences. Previously, he held positions at the University of Nottingham (Professor), University of Kent (Reader), and institutions in Spain and Italy. He earned a PhD in Mathematics from the Università di Modena e Reggio Emilia, specializing in Probability. His research focuses on Bayesian inference, nonparametric methods, objective Bayesian analysis, and foundational statistical theory, with notable contributions to predictive constructions, knockoff procedures, and stochastic processes. He serves as an Associate Editor for Bayesian Analysis , Statistics and Probability Letters , and Statistical Methods and Applications . Leisen’s work bridges theoretical and applied statistics, emphasizing Bayesian nonparametric priors for complex data structures and model selection. His recent articles address survival analysis, prior elicitation without subjective inputs, and algorithmic advancements in Bayesian computation. He collaborates globally, including co-supervising a PhD student at the Università di Bologna. His teaching includes Computational Statistics and Probability and Statistics Skills sessions. Research interests span Bayesian foundations, model selection via knockoffs, stochastic processes, and interdisciplinary applications like genomic and biostatistical analysis. His lab is affiliated with King’s Statistics group, focusing on MCMC methods, Bayesian nonparametrics, and experimental design.

• Artificial Intelligence
• Explainable AI
• Logic
• +۵ مورد دیگر

Xinghan Liu is a PostDoc Researcher at the Knowledge-Based Systems group within Vienna University of Technology. Their work bridges Artificial Intelligence , Logic , and Environmental Engineering , as evidenced by their publications in both computer science and hydrology journals. Contact: xinghan.liu@tuwien.ac.at . Research Interests: Explainable AI and logic-based classifier modeling Counterfactual and intuitionistic conditional logics Legal case-based reasoning in computational frameworks Hydrodynamic and environmental adaptation to infrastructure projects Recent Work Trends: Recent articles focus on classifiers (2021–2024), explainable AI (2023–2024), and legal reasoning (2022–2023). A 2023 hydrology publication highlights interdisciplinary research on river systems affected by damming.

• Chemical Informatics
• Computational Chemistry
• Graph Theory
• +۳ مورد دیگر

Prof. Daniel Merkle is a Professor in the Department of Mathematics and Computer Science at the University of Southern Denmark. His research focuses on computational systems chemistry, algorithmic methods for chemical reaction networks, and graph-based approaches in computational biology. He is actively involved in interdisciplinary projects addressing microbiome-driven diseases and computational systems chemistry. Merkle has held leadership roles in EU-funded initiatives and international research networks, including the COST Actions on complex chemical systems and origins of life. He contributes to teaching committees and organizes international conferences like the Dagstuhl Seminar on Algorithmic Cheminformatics. His research interests span chemical graph rewriting, pathway realizability, reaction database curation, and algorithmic design for biochemical systems. Recent work includes advancements in synthetic chemistry frameworks (e.g., ChemReservoir), efficient extraction of reaction rules (SynTemp), and formal modeling of unbalanced chemical reactions using ITS Graphs. Merkle’s projects, such as MATOMIC and TACsy, address microbial community metabolism and train computational systems chemists. He has published over 110 research outputs and actively engages in peer review and editorial roles. Key collaborations include work with Flamm, Stadler, and international research teams on computational methods for chemical systems. His contributions to open-source tools and algorithmic frameworks have advanced both theoretical and applied aspects of systems chemistry.

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Petri Myllymäki is a Director at Helsinki Institute for Information Technology (HIIT) , Computer Science Adjunct Professors , and Finnish Center for Artificial Intelligence (FCAI) within Aalto University's School of Science, Department of Computer Science . His research focuses on Bayesian networks, information discovery, and interactive intent modeling . Active in ACM Transactions on Information Systems and SIGIR Conference publications Recipient of 2016 CPHC/BCS Academy of Computing Distinguished Dissertation runner-up and 2017 Kone Foundation Rajapinta award Collaborated with institutions like Stockholm University and researchers including Giulio Jacucci and Samuel Kaski His 15 most recent publications (2025-2015) span decision-making under conflicting objectives, machine learning applications in social science, Bayesian network structure learning algorithms , and cognitive modeling for exploratory search . Key technical subfields include hashing techniques, two-dimensional representation, computational efficiency, and user experience optimization . Scientific awards : 2016 CPHC/BCS Academy of Computing Distinguished Dissertation runner-up 2017 Kone Foundation Rajapinta award As an information discovery expert , he has contributed to open-access research through Interactive Visualization and Scinet frameworks, impacting Sustainable Development Goals related to digital innovation and knowledge dissemination.

David Carralمشاهده پروفایل

پژوهشگر

• Knowledge Representation
• Database Theory
• Artificial Intelligence
• +۳ مورد دیگر

Dr. David Carral is a former Research Associate at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. His work focuses on Knowledge Representation , Database Theory , and Computational Logic , particularly in the context of ontology-based data access, existential rules, and chase termination analysis. He contributed to projects like CFAED and collaborated on systems such as VLog and ROWL . David supervised theses including "Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules" by Lukas Gerlach. His research bridges formal methods with practical applications in AI and database systems. Research interests include ontology design patterns , query rewritability , and efficient reasoning algorithms . He actively participated in conferences like KR and IJCAI, contributing to advancements in nonmonotonic reasoning and hyperproperties. His work integrates description logics, answer set programming, and semantic web technologies to address challenges in knowledge-based systems.

• Statistics
• Machine Learning
• Simulation
• +۵ مورد دیگر

Motonobu Kanagawa is an Assistant Professor (Maitre de Conférences) in the Data Science Department at EURECOM in France since 2019. Previously, he held research positions at the University of Tübingen and the Max Planck Institute for Intelligent Systems in Germany under Prof. Philipp Hennig. He earned his PhD in 2016 from the Institute of Statistical Mathematics in Tokyo under Prof. Kenji Fukumizu. His research focuses on statistical methodologies for complex systems simulation, including reliability validation of simulators, Gaussian processes, Bayesian optimization, and kernel methods. Recent work explores variable selection in distribution comparison and covariate shift adaptation. Key achievements include organizing the inaugural ProbNum 2025 conference, receiving the Chris Daykin Prize (2023) for pension system analysis with Bayesian optimization, and securing a chair position at the 3IA Côte d'Azur AI institute (2021). He reviews for leading journals like JMLR and conferences such as NeurIPS and ICML. Publications span topics like k-NN regression optimization, Gaussian process scale parameter estimation, and counterfactual mean embeddings. His work bridges theoretical statistics and applied machine learning, emphasizing computational efficiency and uncertainty quantification.

Toru Kitagawaمشاهده پروفایل

استاد

• Econometrics
• Causal Inference
• Statistical Decision Theory
• +۵ مورد دیگر

Toru Kitagawa is a Professor of Economics at Brown University, specializing in econometrics, causal inference, and policy analysis. His research focuses on developing quantitative methods for evidence-based policy decisions, with applications in labor, development, and environmental economics. He collaborates with global researchers on lab and field experiments to study human behavior and inform policy solutions. Education: PhD and MA in Economics, Brown University (2009, 2004) BA in Engineering, University of Tokyo (2002) Research Interests: Econometric theory and methods Statistical decision theory Bayesian analysis Experimental economics Policy evaluation and targeting His work bridges theoretical econometrics and applied economics to address real-world policy challenges, emphasizing robust Bayesian methods and empirical welfare maximization. Awards & Grants: Haavelmo Prize (2024) for best Econometrica paper Nakahara Prize (2023) for outstanding Japanese economist under 45 NSF Grant (2024–2027), ERC Horizon 2020 Starting Grant Affiliations: Research Staff, Center for Microdata Methods and Practice (Cemmap) Research Fellow, Institute for Fiscal Studies (IFS) Researcher, Yale Research Initiative on Innovation and Scale (Y-RISE) Teaching: Graduate courses in econometrics (ECON 1630/1640) Applied economics and policy analysis (ECON 2020, 2040)

Enrico Tassiمشاهده پروفایل

پژوهشگر

• Interactive Theorem Proving
• Formal Verification
• Type Theory
• +۵ مورد دیگر

Enrico Tassi is a researcher at Inria, France, affiliated with the STAMP team. His work focuses on the technology of formal proofs, particularly type theory, interactive theorem proving, and its application to formalizing mathematics. He is a key contributor to the development of tools like Coq-Elpi , Hierarchy-Builder , and the small scale reflection Coq extension. His research spans proof assistant architecture, software design, and formal verification, with a strong emphasis on free software principles. Enrico completed his Ph.D. at the University of Bologna in 2008, where he designed the Matita interactive theorem prover. He contributed to the formalization of the Odd Order Theorem and the Paral-ITP project, aiming to scale Coq for large mathematical libraries. His software projects include Elpi , a meta-language for proof assistants, and past contributions to Debian as a developer (2006–2016), focusing on integrating the Lua language into Debian systems. His publications highlight innovations in unification algorithms, tactical design, and proof structuring techniques. Articles address challenges in bi-directional type inference, pattern-based proof command focusing, and nonuniform coercion implementations. His work on small-scale reflection and Hierarchy-Builder demonstrates expertise in algebraic hierarchies and formal library management. Current efforts target enhancing OCaml-based systems through Elpi's high-level programming capabilities. Key Collaborations : Mathematical Components team (INRIA), D.A.M.A. Project Major Tools : Coq-Elpi, Hierarchy-Builder, Matita Formalization Efforts : Ordered Uniformities, Odd Order Theorem, Finite Group Theory

Arjun Radhakrishnaمشاهده پروفایل

پژوهشگر

• Program Synthesis
• Formal Methods
• Concurrent Programming
• +۲ مورد دیگر

Dr. Arjun Radhakrishna is a Researcher at Microsoft in the PROSE team, specializing in program synthesis and formal methods . His work focuses on developing tools to ensure correctness and optimize soft specifications like performance and energy consumption in concurrent and embedded systems. He previously held post-doctoral positions at the University of Pennsylvania and completed his PhD at IST Austria under Prof. Thomas Henzinger.

Yen-Ling Kuoمشاهده پروفایل

استادیار

• Robot Learning
• Human-AI/Robot Interaction
• Artificial Intelligence
• +۱ مورد دیگر

Yen-Ling Kuo is an Assistant Professor in the Department of Computer Science at the University of Virginia and a member of the Link Lab. Her research focuses on robot learning, human-AI/robot interaction, and integrating artificial intelligence with cognitive science to enable robots to generalize reasoning skills for human interaction, including language understanding and common sense reasoning. She holds a PhD from MIT CSAIL, advised by Boris Katz and Andrei Barbu. She teaches courses such as Artificial Intelligence and Learning for Interactive Robots, emphasizing foundational AI concepts, robotics applications, and generative AI. Research Interests: Robot Learning Human-AI/Robot Interaction Cognitive Science Integration Machine Learning for Robotic Systems Awards: NSF CAREER Award (2024) Advising & Grants: Actively recruiting students for her UVA research group, focusing on interactive robotics and AI collaboration. Her work is supported by grants including the NSF CAREER Award. Labs: Member of the Link Lab, a leading center for robotics and autonomous systems at UVA.

Ong Huey Fangمشاهده پروفایل

مدرس ارشد

• Artificial Intelligence
• Data Mining
• Bioinformatics
• +۷ مورد دیگر

Dr. Ong Huey Fang is a Senior Lecturer in the School of Information Technology at Monash University Malaysia since 2019. She holds a PhD in Intelligent Computing from Universiti Putra Malaysia, with earlier degrees from Universiti Teknologi Malaysia. Her research focuses on artificial intelligence applications in bioinformatics (e.g., cancer biomarker discovery), machine learning (transfer learning for Malaysian English), and computer vision (micro-expression analysis). She has led projects like the 2022 Deep Associative Classification initiative. Professional memberships include IEEE, ACM, and AWS certification. Current work integrates multi-omics data analysis and causal graph modeling to address biases in AI systems. Education: BSc (UTM), MSc & PhD (UPM) Professional Certifications: AWS Cloud Practitioner Research spans cancer biomarkers via omics data, NLP for low-resource languages, and VR-based educational tools. Recent projects include causal analysis of video micro-expression bias and blockchain-enhanced healthcare systems. She actively collaborates internationally on topics like biomedical event extraction and supply chain digitalization.

• Automated Reasoning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Stephan Schulz is a Professor at the Baden-Wuerttemberg Cooperative State University Stuttgart (DHBW Stuttgart) in the Faculty of Engineering, where he serves as the Program Director for Computer Science. His office is located in room B 3.14 at Lerchenstraße 1, 70174 Stuttgart, Germany. Professor Schulz is a leading researcher in automated reasoning and theorem proving, with extensive experience teaching computer science courses including Formal Languages and Automata, Logic and Foundations of Computer Science, Compiler Construction, and Algorithms. Professor Schulz's primary research interest lies in automated reasoning, specifically developing efficient algorithms and intelligent search control for automatic theorem proving. His long-term goal is integrating high-performance inference mechanisms with machine learning techniques to create robust reasoning systems across diverse domains. He is the principal developer of the E Theorem Prover, a high-performance system for full first-order logic with equality that has performed exceptionally well in international competitions like CASC. His recent publications demonstrate a clear trend toward extending theorem proving capabilities to higher-order logic while maintaining performance. Schulz has made significant contributions to practical aspects of automated reasoning, including watchlist implementations, contradiction detection in large theories, and the integration of machine learning techniques to improve search heuristics in theorem provers. Professor Schulz has received multiple prizes for his work on the E Theorem Prover, though specific award names are not detailed in the available information. His contributions to the field have been recognized through leadership roles in major conferences. Professor Schulz actively mentors students through project work (Studienarbeiten) at DHBW Stuttgart and has taught numerous courses throughout his career at institutions including the University of Miami, Mona Institute of Applied Sciences, Universität Hildesheim, and INRIA/MPI. While specific grant information isn't provided, his sustained development of the E Theorem Prover suggests ongoing research support. Professor Schulz is significantly involved with several workshop and conference series including the International Workshop on the Implementation of Logics (IWIL), Practical Aspects of Automated Reasoning (PAAR), and Artificial Intelligence and Theorem Proving (AITP). His current roles include PC co-chair for the 15th IWIL (2024) and 9th AITP (2024), and PC member for multiple other conferences including the 25th LPAR (2024) and 12th IJCAR (2024).

Pushpak Bhattacharyyaمشاهده پروفایل

استاد

• Natural Language Processing
• Computational Linguistics
• Machine Learning
• +۶ مورد دیگر

Pushpak Bhattacharyya is a distinguished Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology (IIT) Bombay. He holds the prestigious title of Abdul Kalam National Fellow and is a Fellow of the National Academy of Engineering (FNAE). His academic leadership extends to roles such as Professor Incharge of the IIT Bombay-Monash Australia Academy and Chairman of the MEITY Committee for Indian Language Standards. Professor Bhattacharyya's research spans multiple domains within computational linguistics and artificial intelligence. His work focuses on Natural Language Processing, Computational Linguistics, Machine Learning, Sarcasm Detection, Sentiment Analysis, Multilingual Processing, and Cognitive NLP. He has made significant contributions to Indian language technology, leading NITI Aayog's initiative on creating an Indian Language NLP stack and Virtual Agents. His recent publications reveal a strong focus on multilingual NLP for Indian languages, bias detection in language models, sarcasm and humblebragging detection, mental health applications of NLP, and code generation. His work bridges theoretical advances with practical applications in education, healthcare, and government services. The research demonstrates increasing integration of cognitive aspects with traditional NLP approaches and a growing emphasis on ethical AI considerations like bias detection and cultural competence. FNAE (Fellow of National Academy of Engineering) Abdul Kalam National Fellow Listed among top 10 Machine Learning Researchers in India Listed among most prolific NLP-ML researchers 2012-17 Professor Bhattacharyya has mentored numerous PhD and Masters students who have gone on to make significant contributions in academia and industry. His research has been supported by various grants from government agencies and industry partners, enabling large-scale projects in Indian language technology and NLP. He has led the development of comprehensive NLP resources for Indian languages and has been instrumental in establishing research collaborations between IIT Bombay and international institutions. He leads a vibrant research group at IIT Bombay focused on Natural Language Processing, with active projects in sarcasm detection, multilingual processing, cognitive NLP, and applications of NLP in healthcare and education. His team has developed several notable systems including those for Indian language translation, sarcasm detection, and mental health analysis through text.

• Computational Intelligence
• Evolutionary Multi-objective Optimization
• Evolutionary Machine Learning
• +۵ مورد دیگر

Professor Hisao Ishibuchi is Chair Professor of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China, a role he has held since April 2017. Previously, he spent nearly three decades at Osaka Prefecture University, progressing from Research Associate (1987-1993) to Assistant Professor (1993), Associate Professor (1994-1999), and full Professor (1999-2017). He is an IEEE Fellow , served as Vice-President of the IEEE Computational Intelligence Society (2010-2013) , and is currently President of the Japan Society for Evolutionary Computation (2016-2018) . He is Editor-in-Chief of IEEE Computational Intelligence Magazine (2014-2019) and the Journal of the Japan EC Society (2014-2018). Education: Ph.D. in Engineering, Osaka Prefecture University, 1992 M.S. in Engineering, Kyoto University, 1987 B.S. in Engineering, Kyoto University, 1985 Research Focus: Professor Ishibuchi is internationally recognised as a pioneer of computational intelligence , with seminal contributions to evolutionary multi-objective optimisation , evolutionary machine learning , fuzzy systems , neural networks , and hybrid intelligent systems . He introduced the first multi-objective memetic algorithm and early methods for multi-objective fuzzy rule-based classifier design that balance accuracy and interpretability. Publications & Impact: With over 100 journal papers in top-tier venues such as IEEE Transactions on Evolutionary Computation and nearly 500 conference papers, his work has attracted more than 24 000 Google-Scholar citations and an h-index of 68. His recent articles concentrate on many-objective optimisation, fuzzy machine learning, and transfer learning techniques. Honours & Awards: IEEE Computational Intelligence Society Fuzzy Systems Pioneer Award 2019 IEEE Fellow 2014 JSPS Prize 2007 (Japan’s most prestigious mid-career award) Multiple Best Paper Awards from GECCO, FUZZ-IEEE, SCIS & ISIS, WAC, ACIIDS, HIS-NCEI, and others Teaching & Mentoring: At SUSTech he teaches Advanced Algorithms and Advanced Optimization Algorithms , covering greedy algorithms, hyper-heuristics, memetic algorithms, multi-objective optimisation, and performance assessment. His research group actively recruits post-doctoral fellows and research assistants in evolutionary computation, fuzzy systems, and neural networks. Labs & Teams: He leads the Computational Intelligence Research Group at SUSTech, maintaining active collaboration networks across Asia, Europe, and North America, and supervising several post-doctoral researchers and graduate students working on next-generation intelligent systems.