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

Lawrence H. Staibمشاهده پروفایل

استاد

• Medical Image Analysis
• Machine Learning
• Nonrigid Registration
• +۶ مورد دیگر

Lawrence H. Staib is a Professor of Biomedical Engineering at Yale University, with additional academic appointments in Electrical & Computer Engineering and Radiology & Biomedical Imaging. He holds a Ph.D. from Yale University and specializes in automated medical image analysis, including techniques like model-based segmentation, nonrigid registration, and diffusion tensor imaging (DTI). His research focuses on applications in neuroscience, cardiology, and cancer imaging, emphasizing machine learning and functional MRI analysis. His key contributions include advancements in white matter tractography via anisotropic wavefront evolution, real-time neural tract parcellation (Fasciculography), and noise reduction in diffusion tensor fields. Staib is a Fellow of the American Institute for Medical and Biological Engineering (2015), recognizing his impactful work in medical imaging technologies. Staib's research also encompasses statistical deformation models, perturbation-based shape analysis, and 3D deformable models for volumetric segmentation. He has developed patented 3D ultrasound computed tomography systems (USPTO #6878115, 7025725). His work bridges clinical needs with computational methods, addressing challenges in image registration, structural connectivity analysis, and medical robotics.

Zhendong Suمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Software Engineering
• +۳ مورد دیگر

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

Maria Chikinaمشاهده پروفایل

استادیار

• Computational Biology
• Genomics
• Machine Learning
• +۷ مورد دیگر

Maria Chikina is an Assistant Professor at the University of Pittsburgh School of Medicine's Department of Computational and Systems Biology. She holds a PhD in Molecular Biology from Princeton University. Her research focuses on developing computational methods to analyze large-scale genomic datasets, bridging statistical rigor with biological insights to overcome experimental biases. Key research areas include latent variable modeling (e.g., PLIER, CellCODE), interpretable neural networks for sequence-to-function modeling, evolutionary rate analysis (RERconverge), and applications in tumor immunology, exercise genomics, and infectious disease (e.g., SARS-CoV-2). Her lab has developed tools like InstaPrism, NIFA, and L0 segmentation for data-driven biological discovery. Her work spans collaborations with institutions like UPMC (on tumor microenvironment) and the Molecular Transducers of Physical Activity Consortium (MoTraPAC). Notable projects include analyzing convergent evolution in marine mammals and subterranean species, and developing epigenetic biomarkers for disease states through the ECHO program. Lab members include PhD students (Rezwan Hosseini, Tugrul Balci) and postdocs (Tina Subic, Anish Sevekari). Past students Wynn Meyer now leads a group at Lehigh University. Her group emphasizes open-source tools (GitHub repository ChikinaLab) and interdisciplinary approaches to systems biology challenges.

Onur Varolمشاهده پروفایل

استادیار

• Computational Social Science
• Network Science
• Machine Learning
• +۴ مورد دیگر

Onur Varol is an Assistant Professor at Sabanci University's Computer Science Department and leads the VIRAL Lab, which focuses on computational social science, network science, and machine learning. He has affiliations with the Center of Excellence for Data Analytics. His research spans social bot detection, misinformation analysis, and online behavior modeling.

Soosan Beheshtiمشاهده پروفایل

استاد

• Signal Processing
• Statistical Signal Processing
• Information Theory
• +۶ مورد دیگر

Soosan Beheshti is a Professor and Program Director in the Department of Electrical, Computer, and Biomedical Engineering at Toronto Metropolitan University. She holds a B.S. from Isfahan University of Technology and M.S./Ph.D. from MIT. Her research focuses on signal processing, statistical learning, and information theory, with applications in biomedical systems, data denoising, and system modeling. She has received awards such as the Dean's Teaching Award (2010) and the EECS Carlton E. Tucker Award (1998). Education: B.S., Electrical Engineering, Isfahan University of Technology (1996) M.S. & Ph.D., Electrical Engineering, MIT (2002) Research Interests: Statistical Signal Processing Information Theory Data Denoising & Compression System Modeling & Control Machine Learning Applications Awards: Dean's Teaching Award (2010) Gold Paper Award (PacRim 2009) Best Paper Award (Remote Sensing 2008) MIT Teaching Excellence Award (1998) Teaching: Courses include Signals and Systems, Control Systems, and Statistical Inference. She has supervised numerous graduate students and postdocs in her Signal and Information Processing (SIP) Lab. Labs/Teams: Director of the SIP Lab, conducting research in signal processing, information theory, and biomedical applications. Collaborates with industry partners like Myant Inc. and Huawei Technologies.

• Probabilistic Machine Learning
• Bayesian Models
• Statistical Inference
• +۱۲ مورد دیگر

Luigi Acerbi is an Associate Professor in the Department of Computer Science at the University of Helsinki, where he leads the Machine and Human Intelligence research group. He is also an active member of the Finnish Center for Artificial Intelligence (FCAI) and ELLIS (European Laboratory for Learning and Intelligent Systems). His research focuses on probabilistic machine learning and computational neuroscience, particularly on developing efficient methods for statistical inference, Bayesian models of perception, and resource-constrained rationality. His work bridges machine learning and cognitive science, with applications in Bayesian optimization, simulation-based inference, and image completion. The recent publications highlight a strong trend toward unifying probabilistic conditioning across diverse tasks using transformer-based meta-learning frameworks like the Amortized Conditioning Engine (ACE). These works emphasize amortized inference, flexible latent variable modeling, and the integration of prior knowledge at runtime, enabling efficient and scalable Bayesian methods for complex problems. Scientific Affiliations: University of Helsinki, Department of Computer Science Finnish Center for Artificial Intelligence (FCAI) ELLIS (European Laboratory for Learning and Intelligent Systems) Education: PhD in Computational Neuroscience, Doctoral Training Centre, Edinburgh, UK Advisor: Sethu Vijayakumar and Daniel Wolpert Visiting work at Computational and Biological Learning Lab, Cambridge Postdoctoral Experience: Alex Pouget’s lab, University of Geneva, Switzerland Wei Ji Ma, New York University, USA Collaboration with the International Brain Laboratory Luigi Acerbi mentors PhD students including Daolang Huang and Nasrulloh Loka, and collaborates widely with researchers such as Samuel Kaski. He has contributed to open-source tools like PyVBMC and is involved in community initiatives such as the EurIPS conference. His work is supported by grants from the Research Council of Finland, Business Finland, and the UKRI Turing AI World-Leading Researcher Fellowship. He leads a research lab focused on amortized probabilistic inference, with ongoing projects including PriorGuide and Stacked VBMC, aiming to make Bayesian methods more practical and accessible for real-world scientific and engineering applications.

John Voightمشاهده پروفایل

استاد

• Arithmetic Algebraic Geometry
• Number Theory
• Cryptography
• +۴ مورد دیگر

John Voight is a Professor of Mathematics at the University of Sydney, affiliated with the School of Mathematics and Statistics. He holds a Ph.D. from UC Berkeley (2005) and has held academic positions at the University of Sydney, University of Minnesota, University of Vermont, and Dartmouth College. His research focuses on arithmetic algebraic geometry, number theory, and computational aspects of these fields, including modular forms, elliptic curves, and quaternion algebras. Education: Ph.D. in Mathematics, UC Berkeley (2005); earlier studies include a focus on classical piano and liberal arts at Gonzaga University. Professional trajectory includes postdoctoral roles at the University of Sydney and University of Minnesota, followed by faculty appointments at the University of Vermont (2006–2013) and Dartmouth College (2013–present). Research Interests: Arithmetic algebraic geometry: modular curves, Shimura varieties, moduli spaces, and algorithmic methods Number theory: algebraic number theory, quadratic forms, cryptography, and coding theory Computational mathematics: modular forms, quaternion algebras, and database construction (e.g., LMFDB) Publications and Recognition: Over 90 peer-reviewed articles, including contributions to Contemp. Math. , Math. Comp. , and Res. Number Theory . Recipient of the Selfridge Prize in Number Theory and recognized for teaching excellence at Dartmouth. Leads projects on Hilbert modular forms and paramodular abelian surfaces. Teaching and Mentorship: Emphasizes student-centered learning and the integration of liberal arts with STEM. Advises students on topics ranging from elliptic curves to cryptography. Active in curriculum design and promoting computational tools in mathematics education. Labs/Teams: Collaborates with the L-Functions and Modular Forms Database (LMFDB) project, contributing to computational frameworks for algebraic geometry and number theory.

• Software Engineering
• Formal Methods
• Model-Driven Engineering
• +۴ مورد دیگر

Pierre KELSEN is a Full Professor in the Department of Computer Science at the University of Luxembourg's Faculty of Science, Technology and Medicine (FSTM). His research focuses on Software Engineering, Formal Methods, Model-Driven Engineering, and Algorithmic Graph Theory. He leads the LASSY Laboratory for Advanced Software Systems, emphasizing model decomposition, regulatory compliance, and formal verification techniques. Education: PhD in Computer Science (1993, University of Illinois at Urbana-Champaign), M.Sc. (1989, UIUC), and Diploma (1986, University of Karlsruhe). Postdoctoral work at the University of British Columbia and Max-Planck-Institut für Informatik. Research Interests: - Development of formal modeling languages (e.g., VCL, F-Alloy) - Model transformation and validation frameworks - Algorithms for compliance and complexity challenges - Visual and modular design methodologies Funding: - ASINE (FNR Pearl, 2013–present): Architecture-based service innovation - MaRCo (FNR Core, 2010–2013): Business-centric regulatory compliance Publications span model-driven engineering, formal methods, and algorithmic foundations, with recent work exploring AI integration in domain modeling and compliance analysis. Labs/Teams: LASSY Laboratory, collaborating on tools like Lightning and Democles for executable modeling frameworks.

Vijini Mallawaarachchiمشاهده پروفایل

پژوهشگر ارشد

• Metagenomics
• Bioinformatics
• Bacteriophages
• +۳ مورد دیگر

Vijini Mallawaarachchi is a Research Fellow in Bioinformatics at Flinders University's Flinders Accelerator for Microbiome Exploration (FAME). His research focuses on developing computational methods for metagenomic analysis, particularly viral genome recovery from metagenomes. He holds a PhD in Computer Science from the Australian National University (2022) and a BSc in Computer Science and Engineering (Honours) from the University of Moratuwa, Sri Lanka (2018). Education: Doctor of Philosophy (Computer Science), Australian National University, 2018–2022 Bachelor of Science (Computer Science & Engineering, Honours), University of Moratuwa, 2014–2018 Research Interests: Metagenomics, algorithms for genome recovery, bacteriophage discovery, machine learning applications in bioinformatics, and software engineering for computational biology. His work emphasizes leveraging assembly graphs and computational models to analyze microbial communities and viral genomes. Grants & Awards: 2025: National Computational Merit Allocation Scheme Grant (Co-CI) - A$412,000 2025: ARC Discovery Projects Grant (Co-CI) - A$685,781 2024: Outstanding PhD Thesis Award (ABACBS) 2023: Australian Society for Microbiology Early Career Award Professional Engagement: Active member of ISMB, ISVM, ACM, IEEE, ABACBS, ASM, and RSE AU/NZ. Supervises HDR and Honours students in bioinformatics and computational biology. Labs & Tools: Leads projects at FAME, developed tools like GraphBin, Phables, and ConDiGA for metagenomic analysis. Collaborates on open-source initiatives like the cogent3 Python APIs.

Jesse J. Heltonمشاهده پروفایل

دانشیار

• Child Maltreatment
• Adverse Childhood Experiences
• Food Insecurity
• +۳ مورد دیگر

Jesse J. Helton, Ph.D., is an Associate Professor in the School of Social Work at Saint Louis University, where he has been since 2014. His research focuses on child maltreatment, adverse childhood experiences (ACEs), food insecurity, and disability, with notable work published in JAMA Pediatrics , Child Maltreatment , and Preventative Medicine . He holds editorial roles at the Child Maltreatment journal and serves on the Prevention Committee of the American Professional Society on the Abuse of Children. Dr. Helton’s community partnerships address child abuse prevention, food security, and family violence mitigation in collaboration with statewide and local organizations. Education: Ph.D. in Social Work, University of Illinois; M.A. in Social Work, University of New Hampshire. Research Interests: Dr. Helton’s work explores intersections between childhood trauma, socioeconomic factors, and health outcomes. Key themes include the impact of food insecurity on caregiver-child dynamics, disparities in ACEs among marginalized groups, and policy interventions to reduce maltreatment. His studies often employ mixed-methods approaches, combining quantitative data analysis with qualitative insights from affected communities. Awards: Recipient of the 2020 Association of Jesuit Colleges Leadership Institute award, 2018 Outstanding Young Alumni from Eureka College, and a 2014 Innovative Teaching Fellowship from SLU’s Reinert Center. Teaching: Courses include Principles of Statistics and Data Analysis , Research Methods for Diverse Societies , and Science of Helping . He emphasizes evidence-based practices and culturally responsive pedagogy. Labs/Teams: Collaborates with multidisciplinary teams across universities and NGOs, focusing on translational research to inform child welfare policies and community programs.

Tim Baarslagمشاهده پروفایل

استاد

• Automated Negotiation
• Multi-Agent Systems
• Artificial Intelligence
• +۴ مورد دیگر

Tim Baarslag is a Senior Researcher and group leader of the Intelligent and Autonomous Systems group at CWI (The Dutch research institute for Mathematics and Computer Science). He holds the title of Professor of Mathematics of Cooperative AI at Eindhoven University of Technology and serves as a Visiting Associate Professor at Nagoya University of Technology, Visiting Fellow at the University of Southampton, and Visiting Scholar at MIT. His research focuses on automated negotiation systems for collaborative decision-making in smart energy trading, IoT, autonomous vehicles, and digital privacy. Education : MSc (cum laude) and BSc (cum laude) from Utrecht University; PhD (cum laude) from Delft University of Technology Tim pioneered the COMBINE project (NWO Vidi grant) for coordinating multi-deal negotiations and developed the widely-used Genius negotiation environment. His work appears in prestigious venues like Science Magazine , Artificial Intelligence , and MIT Technology Review . He also leads the International Automated Negotiating Agent Competition and contributes to policy through memberships in The Young Academy and Netherlands Academy of Engineering . Recent research trends emphasize multi-deal negotiation protocols (2024), preference uncertainty modeling in privacy negotiations (2022), and scalable algorithms for handling outcome spaces as large as 10²⁵⁰ possibilities. His 2023 work on search algorithms for large negotiation domains has applications in energy trading and supply chain management. Scientific Awards : Cor Baayen Young Researcher Award (2017), Springer Theses Award (2016), multiple Best Paper Awards (AAMAS 2022, WI-IAT 2015, IJCAI 2014), and recognitions as Science Talent (2018), Academic Pioneer (2020), and Young Talent (2019) As a grant recipient , Tim leads NWO Vidi project COMBINE and previously held a Veni grant for preference uncertainty research. He mentors through organizing competitions, serving on conference PCs (AAAI, IJCAI), and reviewing in top journals like Artificial Intelligence . His work bridges theory and practice through the Genius framework and real-world implementations in smart grid and vehicular platooning.

• Computational Psychopathology
• Learning Theory
• Cognitive Neuroscience
• +۳ مورد دیگر

Robin A. Murphy is a Professor of Experimental Psychology at the University of Oxford and a Fellow and Tutor for Admissions at Corpus Christi College. He holds a PhD from McGill University (Canada) and has contributed over 50 scientific publications on associative learning mechanisms, their role in mental disorders like depression and psychopathy, and translational neuroscientific applications. His research bridges animal and human learning, with a focus on computational psychopathology and neurochemical modulation (e.g., serotonin). Education: Undergraduate degree, Queen's University MA and PhD in Psychology, McGill University Research Interests: Dr. Murphy investigates how associative learning processes underpin mental disorders, particularly through neurochemical systems like serotonin. His work explores causal reasoning biases in depression, psychopathy's learning deficits, and translational models linking animal studies to human cognition. Key themes include agency perception, contingency judgment, and the neural substrates of prejudice. Recent projects involve peptide research in aging and computational modeling of multi-agent systems in depression. Grants and Funding: Supported by MRC, BBSRC, Wellcome Trust, and Japan Society for the Promotion of Science. He has advised UK Research Councils and NSERC (Canada). Labs and Teams: Leads a lab focusing on associative learning mechanisms, collaborating with institutions globally on computational psychopathology and translational neuroscience.

Ross Thyerمشاهده پروفایل

استادیار

• Synthetic Biology
• Protein Engineering
• Genetic Code Expansion
• +۶ مورد دیگر

Ross Thyer is an Assistant Professor in the Department of Chemical and Biomolecular Engineering at Rice University. He holds a BSc (Hons) from the University of Western Australia and a PhD from the Harry Perkins Institute of Medical Research under Drs. Rackham and Filipovska. His postdoctoral training at the University of Texas at Austin with Prof. Andrew Ellington focused on engineered biosynthesis pathways and non-canonical amino acids. He co-founded GRO Biosciences, a Boston-based biotech startup, and leads the Thyer Lab at Rice. His research bridges synthetic biology, protein engineering, and molecular programming to address global challenges. Key areas include expanding genetic codes for therapeutics, engineering biosynthetic pathways via genetic circuitry, and developing microbial systems for environmental bioremediation. Core technologies include deep learning for protein design, modular DNA assembly, and high-throughput selections. The lab also develops tools like MutCompute for enzyme engineering and domesticates non-model bacteria for bioproduction. His work emphasizes technology innovation, with recent advances in selenocysteine incorporation, L-DOPA sensing systems, and actinobacteria toolkits. The Thyer Lab actively collaborates on biocatalyst development and translational applications in healthcare and industry.

KHOO Siau Chengمشاهده پروفایل

دانشیار

• Programming Languages
• Code Analytics
• Software Engineering
• +۷ مورد دیگر

KHOO Siau Cheng is an Associate Professor in the Department of Computer Science at the National University of Singapore (NUS) School of Computing. He also serves as Co-Director of the NUS Business Analytics Centre, established in 2013 in collaboration with the Economic Development Board of Singapore and IBM. His academic journey began with a Ph.D. in Computer Science from Yale University in 1992. Professor Khoo's research focuses on improving software developer productivity through advanced programming language theories and software engineering techniques. His work spans multiple areas including static program analysis, dynamic program optimization, code analytics, and specification mining. He has applied his expertise to develop domain-specific languages for financial data analysis and has pioneered techniques for discovering dynamic program behaviors via data-mining approaches. Research Interests: Programming Languages and Software Engineering Code Analytics and Program Analysis Specification Mining and Bug Signature Discovery Static and Dynamic Program Analysis Program Transformation and Optimization Domain-Specific Languages Professor Khoo's publications demonstrate a consistent focus on improving software quality and developer productivity. His recent work emphasizes scalable approaches to refactoring detection, bug signature mining, and specification inference, showing an evolution from theoretical foundations to practical applications in software maintenance and quality assurance. As an educator and mentor, Professor Khoo has supervised numerous graduate students to completion of their M.Sc. and Ph.D. degrees. His research projects have provided valuable training opportunities for students while addressing important challenges in software development. He has also contributed significantly to academic administration, having served as Vice Dean (Undergraduate Studies) in the School of Computing from 2005 to 2011 and currently as Co-Director of the Master of Science (Business Analytics) Programme.

Stacy Farinaمشاهده پروفایل

دانشیار

• Functional Morphology
• Biomechanics
• Evolutionary Biology
• +۴ مورد دیگر

Stacy Farina is an Associate Professor in the Department of Biology at Howard University, affiliated with the College of Arts & Sciences. Her research focuses on functional morphology, biomechanics, and evolutionary biology, particularly in fish systems. She holds a B.S. in Marine and Freshwater Biology from the University of New Hampshire (2010) and a Ph.D. in Evolutionary Biology from Cornell University (2015). Her work examines skeletal morphology, respiratory systems, and functional adaptations in diverse fish species, including flatfishes, snailfishes, and elasmobranchs. Recent studies investigate remote research methodologies during the pandemic, deep-sea adaptation, and biomechanical integration in feeding systems. She directs a research lab in Just Hall, Room 410, and maintains a Google Scholar profile. Publications span topics like ventilation mechanics, acoustic signaling evolution, and skeletal density patterns in deep-sea environments. Her research emphasizes interdisciplinary approaches, combining anatomical analysis, computational modeling, and experimental biomechanics. No scientific awards or grants are explicitly listed in the provided texts. She advises no listed students, though her research involves undergraduate participation. Her lab focuses on fish morphology, ecology, and evolutionary processes.