Werner Nutt is a Professor at the Free University of Bozen-Bolzano , Italy, affiliated with the Faculty of Computer Science since 2005. He previously held academic positions as a Reader at Heriot-Watt University (2000-2005), Visiting Professor at Hebrew University of Jerusalem, and Research Scientist at DFKI (1992-2000). Current Role: Professor, Free University of Bozen-Bolzano Past Roles: Reader (Heriot-Watt), Visiting Professor (Hebrew University), Research Scientist (DFKI) Research Interests focus on Data Management , Knowledge Representation , and Intelligent Information Extraction , with emphasis on modeling Construction Processes and ensuring Data Quality . His work bridges Semantic Web technologies with Business Process Management , notably through the COCkPiT project (2017-present) for construction process optimization. Key Contributions include foundational work on Query Completeness in databases, SPARQL Reasoning , and Semantic Diagnostics . He has published extensively in venues like ISWC , BPM , and CIKM , with an h-index of 35 on Google Scholar. His 154+ publications span topics from Probabilistic XML to Construction Process Modeling .
Gabor N Sarkozy is a Professor in the Department of Computer Science at Worcester Polytechnic Institute (WPI). He holds a PhD from Rutgers University (1994) and completed a postdoc at the University of Pennsylvania (1994-1996). His research focuses on graph theory, discrete mathematics, and theoretical computer science, particularly the structure of large graphs and Ramsey-type problems. Education: BS, Eötvös University (1990); MS, PhD, Rutgers University (1994); Postdoc, University of Pennsylvania (1994-1996) His scholarly work spans over 100 publications, with notable collaborations with Endre Szemerédi, János Komlós, and András Gyárfás. Key contributions include algorithmic applications of the Blow-up Lemma, monochromatic cycle partitions, and advancements in Ramsey theory for hypergraphs and planar graphs. Professional highlights include the Good Teaching Award (1995) and the Doctor of the Hungarian Academy of Sciences (2009). He founded the Budapest Project Center, WPI's first project center in Eastern Europe, and remains actively engaged in educational data mining projects. Scientific Awards Good Teaching Award, 1995 Doctor of the Hungarian Academy of Sciences, 2009 His research trends over the past two decades show a transition from classical Ramsey theory and graph decomposition (1995-2010) to interdisciplinary applications in time series analysis and educational data mining (2011-2024), while maintaining core contributions to combinatorial graph theory. Advising and grants are not explicitly detailed in the provided texts, though his collaborative nature is evident through extensive co-authorships. He maintains active research groups at WPI and the Rényi Institute, with ongoing projects in Ramsey-type problems and algorithmic applications.
Mike Mooney is a Professor of Mechanical Engineering at the Colorado School of Mines, holding the Grewcock Chair in Underground Construction & Tunneling. He directs the Center for Underground and leads the Heavy Construction Studio, focusing on advancing smart, rapid, and cost-effective construction technologies for urban tunneling and challenging ground conditions through instrumentation integration and field experimentation. His educational background includes: PhD in Civil Engineering, Northwestern University, 1996 MS in Civil Engineering, University of California, Irvine, 1993 BS in Civil Engineering, Washington University, St. Louis, 1991 BA in Physics, Hastings College, 1991 Mooney's research integrates instrumentation into tunnel boring machines and horizontal directional drilling systems, studying robotic excavation, soil transformation using polymers/foams, and ground-mechanical interactions via physics models and machine learning. His group conducts extensive field campaigns embedded in real construction projects worldwide, emphasizing data-driven approaches to complex geotechnical challenges. Recent publications (2018-2023) demonstrate expertise in TBM performance optimization, boulder detection systems, soil conditioning, and machine learning applications for ground prediction. Key contributions include real-time vibration monitoring for Venice lagoon restoration, annular pressure management, foam stability analysis, and autonomous tunneling frameworks across major projects in Seattle, Toronto, Los Angeles, and New York City. No scientific awards or fellowships were mentioned in the provided text. Professor Mooney actively advises graduate students as evidenced by extensive student co-authorship in publications. His research is directly applied to international construction projects including the Venice lagoon restoration and urban tunneling initiatives. He is a registered Professional Engineer in Colorado (License #39682) and provides technical consultation for construction projects globally. He directs the Center for Underground at Colorado School of Mines, where his Heavy Construction Studio develops instrumentation systems and conducts field experiments integrated into active construction sites. The lab specializes in real-time monitoring technologies, ground characterization methods, and machine learning applications for tunneling operations.
Wang Fengjiao is an Assistant Professor and Lecturer at the Kahlert School of Computing, University of Utah. Her research focuses on machine learning, data mining, and social network analysis, with notable contributions to semi-supervised learning, generative models, and social media analysis. She holds a position in one of the founding institutions of the internet (ARPANET), leveraging computational advancements for interdisciplinary challenges. Her work spans theoretical innovations and applied systems, including algorithms for tabular data, image generation via Fréchet distance minimization, and probabilistic text recommendation models. Recent trends in her publications emphasize scalable learning frameworks, spatial-temporal event modeling, and privacy-preserving techniques in multi-platform social networks. Wang's research has addressed challenges such as user geolocation inference, collaborative co-clustering in heterogeneous data, and steering information diffusion under attention constraints. Her contributions to content-aware POI recommendations and distance-based social discovery further highlight her expertise in integrating machine learning with real-world social systems. No scientific awards or grants are explicitly mentioned in the provided materials. Contact information is available at fengjiao@cs.utah.edu, and her office is located in MEB 3102.
Marius Zimand is a Professor in the Department of Computer and Information Sciences at Towson University. His academic expertise spans computational complexity , algorithmic information theory , and cryptography . Holding Ph.D.s in both Computer Science (University of Rochester) and Mathematics (University of Bucharest), he contributes to the advancement of randomness extraction and theoretical computer science. Education: Ph.D. in Computer Science (University of Rochester), Ph.D. in Mathematics (University of Bucharest) Zimand's research focuses on transforming low-quality randomness into high-quality randomness through efficient algorithms. His work, supported by NSF grants 0634830 (2006-2009) and 1016158 (2010-2014) , explores randomness extractors' applications in cryptography, error-correcting codes, and data structures, with mathematical implications in Kolmogorov complexity and constructive Hausdorff dimension. His recent publications analyze topics such as time-bounded Kolmogorov complexity , dynamic matching in expanders , and universal coding theorems , reflecting a consistent emphasis on randomness extraction and complexity theory. Awards include Best Paper at CSR'2008 and Best Paper at ICALP 2005, Track C . Professional Service: Editorial Board Member of Journal of Universal Computer Science Grant Reviewer for NSF, National Research Council Canada, ANR France, and US-Israel BSF Zimand's contributions to theoretical computer science bridge mathematical rigor with practical applications, maintaining active research and service roles within the academic community.
Saman Muthukumarana is a Professor and Head of the Department of Statistics at the University of Manitoba. He joined the department in 2010 as an Assistant Professor, was promoted to Associate Professor in 2016, and became a full Professor in 2022. He holds a BSc (Honours Special) in Statistics from the University of Sri Jayewardenepura, an MSc from Simon Fraser University, and a PhD from Simon Fraser University under Dr. Tim Swartz, focusing on Bayesian methods and applications. His research emphasizes Bayesian methodologies for complex models, with applications in social networks, health studies, sports analytics, environmental science, and machine learning. He has secured over $8.4M in research funding from NSERC, Mitacs, CIHR, and other organizations. His work has been published in journals such as the Canadian Journal of Statistics, Machine Learning with Applications, and IEEE Open Journal of Instrumentation & Measurement. Dr. Muthukumarana’s research spans Bayesian computation, biostatistics, data science, and environmental statistics. He has contributed to anomaly detection in buildings, predictive modeling for public health (e.g., Long COVID), and ecological studies like salmon stock recruitment. His collaborative projects include developing statistical tools for microbiome analysis and improving machine learning approaches for imbalanced datasets. He also leads the Data Science Nexus, fostering interdisciplinary research. His grants and collaborations highlight his role in advancing statistical methodologies for real-world challenges, including health, energy efficiency, and ecological conservation. While no specific awards are listed, his extensive funding and publication record reflect his scholarly impact. He currently supervises graduate students and actively participates in academic leadership roles.
Qiushi Feng is an Associate Professor at the National University of Singapore , Department of Sociology, with a focus on aging and health, population studies, and development research. He holds administrative roles as Deputy Head of Department and Assistant Dean at the Faculty of Arts and Social Sciences. PhD from Duke University Co-Editor of Current Sociology , Associate Editor of Asian Population Studies Recipient of grants from United Nations Population Fund, Singapore Ministry of Education, and National Medical Research Council His research spans interdisciplinary aging studies, including digital equity, environmental health impacts, healthcare policy, and population projections. Recent publications analyze marital transitions in Indonesia, spatial healthcare optimization in Singapore, and pandemic impacts on life expectancy. Key trends in his work include: Interdisciplinary aging research Probabilistic population projections Age-friendly urban design Health equity in digital and environmental contexts
Prof. Jens Vygen is a full Professor of Discrete Mathematics at the University of Bonn's Research Institute for Discrete Mathematics. He specializes in combinatorial optimization, approximation algorithms, and their applications to chip design and vehicle routing. He has directed large-scale industrial collaborations and supervised over 20 PhD students, including Vera Traub. His work includes co-authoring influential textbooks like Combinatorial Optimization: Theory and Algorithms and Approximation Algorithms for Traveling Salesman Problems . Research highlights include advancements in TSP approximation algorithms, Steiner tree optimization, and network flow algorithms. He has organized major events like the IPCO conference and served on editorial boards of leading journals. Awards include teaching excellence and best paper recognitions at SODA and IPCO. Teaching focuses on advanced topics in discrete mathematics, approximation algorithms, and combinatorial optimization. Courses span undergraduate to graduate levels, emphasizing algorithm design, graph theory, and practical implementations. Labs/teams: Core contributor to Bonn's Hausdorff Center for Mathematics and Bonn's discrete optimization research group. Active in developing algorithms for VLSI routing (BonnRoute) and chip design tools (BonnPlace).
Jingjing Meng is a Senior Scientist affiliated with the Computer Science and Engineering Department at the University at Buffalo, SUNY, and Amazon. She holds a Ph.D. from Nanyang Technological University (NTU, Singapore), advised by Prof. Yap-Peng Tan, along with an M.S. from Vanderbilt University and a B.E. from Huazhong University of Science & Technology, China. Her research focuses on multimedia, large multimodal models, product recommendation/search, and computer vision applications. Notable contributions include work on surgical triplet recognition, 3D object representation, and video summarization. She has received the 2016 IEEE Transactions on Multimedia Best Paper Award. Service Roles: Technical Program Co-Chair (ICME 2024), Tutorial Co-Chair (ACM MM 2024), Area Chair (AAAI 2021-2025), and Associate Editor for IEEE TMM, Signal Processing: Image Communication, and others. Leadership: Member of IEEE IVMSP TC, VSPC TC, and MSA TC committees, and a Senior Member of IEEE. Teaching includes courses like Multimedia Systems (CSE 534), Computer Graphics (CSE 410/580), and Discrete Structures (CSE 191). Her work bridges theoretical advancements and practical applications in multimedia and AI.
Ali Sina Safari is a Researcher affiliated with Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), contributing to interdisciplinary projects such as the Bavarian State Ministry-funded research on endometriosis diagnostics and treatments. His work bridges network theory, biological systems analysis, and materials science. Research Interests: Exploring hierarchical network structures in biological systems, including brain connectivity and materials science. Developing graph-theoretical methods to analyze damage in hierarchical materials and functional brain networks. Investigating topological dimensions' impact on activity patterns in modular networks. Publications highlight themes like network modeling in biological systems, thermodynamic analysis of distillation units, and probabilistic graphical models for brain connectivity extraction from fMRI data. He is actively engaged in FAU's research community, contributing to projects at the intersection of computational biology, materials science, and theoretical physics.
Dr. Jan Dettmer is an Associate Professor in the Department of Earth, Energy, and Environment at the University of Calgary's Faculty of Science. His research focuses on quantitative analysis of Earth structures through geophysical data inversion, specializing in Bayesian methods for uncertainty quantification. His work spans seismology, acoustical oceanography, and tsunami hazard prediction, with applications ranging from shallow seabed characterization to deep mantle structures. Research interests include: Probabilistic inversion methods for earthquake source parameters and earth structure Wave propagation modeling in complex media Computational algorithm development for large-scale inverse problems Integration of supercomputing (CPU/GPU clusters) in geophysical analysis Recent publications demonstrate strong focus on geophysical inversion techniques, computational methods, and applications to energy and environmental challenges. Awarded the Faculty of Science Research Award for early career excellence (2019).
Chad A. Shaw is a Professor at Baylor College of Medicine and a Joint Professor of Statistics at Rice University. He serves as Director of the D2K Laboratory at Rice, and holds additional roles including Investigator at the Jan and Dan Duncan Neurological Research Institute and Faculty Member at the Baylor College of Medicine’s STaR Center and Quantitative & Computational Biosciences program. His expertise spans statistical genomics, bioinformatics, and molecular genetics. Education: BS in Mathematics (Duke University, 1995); PhD in Statistics (Rice University, 2001). Research Interests: Focuses on statistical methods for genomics, including next-generation sequencing analysis, structural variation studies, and clinical exome sequencing. Key contributions include probabilistic models for mutation transmission in human genetic diseases, copy-number variation analysis, and functionalization of genetic variants. His work bridges computational statistics with clinical applications, addressing challenges in rare disease diagnostics and Mendelian disorder modifiers. Publications: Over 200 peer-reviewed articles, including foundational studies on recurrence risk in genetic disorders and mechanisms of structural variation. Recent work emphasizes Bayesian modeling in sequencing assays, CNV-driven genetic diseases, and prenatal genomic analysis. Awards/Grants: No explicit awards mentioned, but his research has been cited ~17,000 times. Active in grant-funded projects across computational and clinical genomics. Advising: Trained 5 PhD students and advised over 10 others, with students contributing to areas like high-dimensional regression and software tools for variant prioritization. Labs/Teams: Leads the D2K Laboratory at Rice, fostering interdisciplinary research in data science and computational biology.
Svante Eriksen is an Associate Professor in the Department of Mathematical Sciences at Aalborg University, Faculty of Engineering and Science. His research spans statistics, forensic genetics, and computational modeling, with a focus on Bayesian networks, graphical models, and statistical methods for forensic DNA analysis. He is actively involved in interdisciplinary research and software development for probabilistic genotyping and large-scale inference. Research Interests: Bayesian Networks and Graphical Models Statistical Methods in Forensic Genetics SNP and Y-STR Genotyping Data Mining and Knowledge Discovery Model Selection and Context-Specific Independence Software Development for Statistical Inference Recent Publication Trends (2024–2025): His recent work focuses on improving SNP genotyping accuracy using logistic regression models, developing efficient software (jti and sparta) for Bayesian network inference, and advancing forensic DNA analysis through dynamic SNP selection and probabilistic modeling of Y-STR databases. These contributions reflect a strong integration of statistical theory, computational efficiency, and real-world forensic applications. Scientific Contributions: Principal contributor to software packages for Bayesian network prediction. Developer of statistical models for forensic DNA data interpretation. Collaborator on projects involving digital learning analytics and student retention. Advising and Grants: While specific student names are not listed, the profile indicates involvement in PhD supervision (4 cases). He has participated in multiple externally funded research projects, including those supported by Novo Nordisk and Danish research councils, focusing on forensic DNA analysis, graphical models, and educational data mining. Research Groups and Collaborations: He is part of a strong research network in forensic genetics and statistical modeling at Aalborg University, collaborating with leading researchers such as N. Morling, M. M. Andersen, and T. Tvedebrink. His work is closely tied to the development and application of statistical software in both forensic and educational domains.
Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), part of the College of Computing and Information Sciences. His research lies at the intersection of programming languages, formal verification, and software security. Ph.D., University of Pennsylvania (advised by Benjamin Pierce and Cătălin Hrițcu) Postdoctoral Fellow, Boston University and Carnegie Mellon University B.S., Unicamp and Polytechnique His research focuses on enhancing software security and reliability through formal methods, particularly using formal verification , programming languages , and type systems . Key areas include cryptographic protocols , where he develops formalisms based on separation logic to verify protocols like TLS, and compartmentalization , where he analyzes and implements formally verified techniques to limit the impact of vulnerabilities in low-level code. His work includes the development of SECOMP , the first formally verified realistic compartmentalizing compiler. His recent publications span top conferences such as POPL, CCS, ESOP, and ICALP, reflecting a strong trend toward foundational work in program logics, secure compilation, and type-based security. His research often involves deep formalization in the Coq proof assistant, and he contributes to the formal methods community through open-source tools and educational resources like the Software Foundations textbook. He is actively involved in academic service, having served on program committees for POPL, ICFP, PLDI, and others. He mentors several graduate and undergraduate students at RIT and has previously mentored researchers at Boston University. Notable software contributions include: Cryptis : Extension of Iris separation logic for cryptographic protocols Deriving : Coq library for automating class instances Extensional Structures : Coq library for finite data structures Netter : Language for probabilistic network modeling
Johan Pensar is an Associate Professor of Statistics and Data Science at the University of Oslo's Department of Mathematics. He holds a PhD from Åbo Akademi University (2016) and was a postdoc at the University of Helsinki (2016–2020). His research focuses on statistical machine learning, probabilistic graphical models, causal inference, and applications in genomics. He has supervised multiple PhD students and co-supervised others in interdisciplinary projects, including causal modeling in healthcare and machine learning for microbiology. Education: PhD in Statistics, Åbo Akademi University, 2016 Postdoctoral Researcher, University of Helsinki, 2016–2020 Research Interests: Pensar's work integrates statistical theory with practical applications. Key areas include developing methods for causal discovery, probabilistic graphical models (e.g., Bayesian networks), and their use in genomics and healthcare. He emphasizes interpretable machine learning and robust statistical frameworks for complex data. Publications: Recent work spans causal inference, microbial genome analysis, and housing market prediction. His methods address challenges like confounding bias, generalization in ML, and uncertainty quantification in valuation models. Awards: Finnish Statistical Society Doctoral Thesis Award (2013–2016) Teaching & Advising: Pensar teaches advanced courses in statistical learning and probabilistic graphical models. He advises PhD students on causal modeling, ML in healthcare, and data science applications. He collaborates with industry partners like Integreat and Eiendomsverdi AS. Lab/Teams: He is affiliated with the Norwegian Centre for Knowledge-driven Machine Learning (Integreat) and leads research on Bayesian methods in ML.
